//----------------------------------------------------------------------------
//
//----------------------------------------------------------------------------
Title_Columbo =
'Columbo' ;
Title_Elbe =
'Elbe' ;
Version_IDE =
'1.0' ;
optkeylen = 8;
maxfilesize = 1024*50;
//IX115a ist gerade kleiner
maxoptsize = 64000;
// maximale Gr��e
ViewMax = 256;
// Memory of view changess
HistMax = 20;
// history of files
Debug = true;
BorderWidth = 10;
Agenda = 1;
Autor = 2;
Columbo = 3;
Egmont = 4;
dlle =
'.dll' ;
Productnumber = chr(Columbo+
ord (
'0' ));
//RKey = 'SOFTWARE\'+Company+'\'+Title; //relativ zu HKEY_LOCAL_MACHINE
SamplesDir =
'Samples\Sample Programs\' ;
ExecDir =
'Samples\Object Files\' ;
Samples =
'Samples\' ;
Remotedirectory =
'Samples\Remote Files\' ;
extensionfile =
'extensions.dat' ;
CopyLib =
'CopyLib\' ;
// --- external references ------
InstallKey =
'{0777F89A-60B9-46C1-96E5-0D4DCBFB6FCB}' ;
OptionDll =
'Option.dll' ;
Filemax = 32;
unitofbytes = 10000;
ColorWarn =
$8 080FF;
//----------------------------------------------------------------------------
//
//----------------------------------------------------------------------------
EditionStrings :
array [Editions]
of String =(
'Shareware' ,
'Standard' ,
'Professional' ,
'Enterprise' );
//----------------------------------------------------------------------------
// model frame
//----------------------------------------------------------------------------
JCLImage=24;
COBOLImage=2;
UnSplitImage=23;
SplitImage=17;
HasChildrenImage=25;
CollapsedImage=26;
ExpandedImage=27;
PrintIconIndex=18;
IDEIconIndex=37;
//----------------------------------------------------------------------------
// syntax highlighting schema definition
//----------------------------------------------------------------------------
Highlitekey:
array [Highlite]
of JString=
(
'kw' ,
'st' ,
'nu' ,
'id' ,
'fokw' ,
'co' ,
'foid' ,
'la' ,
'lx' );
S_NType :
array [NType]
of JString=
(
'noitem' ,
'data' ,
'data' ,
'function' ,
'symbol' ,
'assumeddata' ,
'assumedfunction' ,
'selection' ,
'deselection' ,
'loopitem' ,
'�subtreeiten' ,
'simstart' ,
'simwithin' ,
'simend' ,
'simcircle' ,
'desimulation' ,
'transition' ,
'place' ,
'block' );
S_NBases:
array [NBase]
of JString =
(
'nobase' ,
'binary' ,
'bcd' ,
'float' ,
'complex' ,
'octet' ,
'dbcs' ,
'unicode' );
S_NDurations:
array [NDuration]
of JString =
(
'noduration' ,
'constant' ,
'static' ,
'dynamic' ,
'allocated' ,
'persistent' ,
'firing' ,
'synchronized' );
//----------------------------------------------------------------------------
// Isabelle Symbols
// aus http://isabelle.in.tum.de/repos/isabelle/file/tip/etc/symbols
//----------------------------------------------------------------------------
Isabelle :
array [1..357]
of JString =
(
' 1 # $Id$' ,
' 2 # Default interpretation of some Isabelle symbols' ,
' 3 ' ,
' 4 \ code: 0x01d7ec font: Isabelle' ,
' 5 \ code: 0x01d7ed font: Isabelle' ,
' 6 \ code: 0x01d7ee font: Isabelle' ,
' 7 \ code: 0x01d7ef font: Isabelle' ,
' 8 \ code: 0x01d7f0 font: Isabelle' ,
' 9 \ code: 0x01d7f1 font: Isabelle' ,
' 10 \ code: 0x01d7f2 font: Isabelle' ,
' 11 \ code: 0x01d7f3 font: Isabelle' ,
' 12 \ code: 0x01d7f4 font: Isabelle' ,
' 13 \ code: 0x01d7f5 font: Isabelle' ,
' 14 \ code: 0x01d49c font: Isabelle' ,
' 15 \ code: 0x00212c font: Isabelle' ,
' 16 \ code: 0x01d49e font: Isabelle' ,
' 17 \ code: 0x01d49f font: Isabelle' ,
' 18 \ code: 0x002130 font: Isabelle' ,
' 19 \ code: 0x002131 font: Isabelle' ,
' 20 \ code: 0x01d4a2 font: Isabelle' ,
' 21 \ code: 0x00210b font: Isabelle' ,
' 22 \ code: 0x002110 font: Isabelle' ,
' 23 \ code: 0x01d4a5 font: Isabelle' ,
' 24 \ code: 0x01d4a6 font: Isabelle' ,
' 25 \ code: 0x002112 font: Isabelle' ,
' 26 \ code: 0x002133 font: Isabelle' ,
' 27 \ code: 0x01d4a9 font: Isabelle' ,
' 28 \ code: 0x01d4aa font: Isabelle' ,
' 29 \ code: 0x01d4ab font: Isabelle'
,
' 30 \ code: 0x01d4ac font: Isabelle' ,
' 31 \ code: 0x00211b font: Isabelle' ,
' 32 \ code: 0x01d4ae font: Isabelle' ,
' 33 \ code: 0x01d4af font: Isabelle' ,
' 34 \ code: 0x01d4b0 font: Isabelle' ,
' 35 \ code: 0x01d4b1 font: Isabelle' ,
' 36 \ code: 0x01d4b2 font: Isabelle' ,
' 37 \ code: 0x01d4b3 font: Isabelle' ,
' 38 \ code: 0x01d4b4 font: Isabelle' ,
' 39 \ code: 0x01d4b5 font: Isabelle' ,
' 40 \ code: 0x01d5ba font: Isabelle' ,
' 41 \ code: 0x01d5bb font: Isabelle' ,
' 42 \ code: 0x01d5bc font: Isabelle' ,
' 43 \ code: 0x01d5bd font: Isabelle' ,
' 44 \ code: 0x01d5be font: Isabelle' ,
' 45 \ code: 0x01d5bf font: Isabelle' ,
' 46 \ code: 0x01d5c0 font: Isabelle' ,
' 47 \ code: 0x01d5c1 font: Isabelle' ,
' 48 \ code: 0x01d5c2 font: Isabelle' ,
' 49 \ code: 0x01d5c3 font: Isabelle' ,
' 50 \ code: 0x01d5c4 font: Isabelle' ,
' 51 \ code: 0x01d5c5 font: Isabelle' ,
' 52 \ code: 0x01d5c6 font: Isabelle' ,
' 53 \ code: 0x01d5c7 font: Isabelle' ,
' 54 \ code: 0x01d5c8 font: Isabelle' ,
' 55 \ code: 0x01d5c9 font: Isabelle'
,
' 56 \ code: 0x01d5ca font: Isabelle' ,
' 57 \ code: 0x01d5cb font: Isabelle' ,
' 58 \ code: 0x01d5cc font: Isabelle' ,
' 59 \ code: 0x01d5cd font: Isabelle' ,
' 60 \ code: 0x01d5ce font: Isabelle' ,
' 61 \ code: 0x01d5cf font: Isabelle' ,
' 62 \ code: 0x01d5d0 font: Isabelle' ,
' 63 \ code: 0x01d5d1 font: Isabelle' ,
' 64 \ code: 0x01d5d2 font: Isabelle' ,
' 65 \ code: 0x01d5d3 font: Isabelle' ,
' 66 \ code: 0x01d504 font: Isabelle' ,
' 67 \ code: 0x01d505 font: Isabelle' ,
' 68 \ code: 0x00212d font: Isabelle' ,
' 69 \ code: 0x01d507 font: Isabelle' ,
' 70 \ code: 0x01d508 font: Isabelle' ,
' 71 \ code: 0x01d509 font: Isabelle' ,
' 72 \ code: 0x01d50a font: Isabelle' ,
' 73 \ code: 0x00210c font: Isabelle' ,
' 74 #\ code: 0x01d50c font: Isabelle' ,
' 75 \ code: 0x01d50d font: Isabelle' ,
' 76 \ code: 0x01d50e font: Isabelle' ,
' 77 \ code: 0x01d50f font: Isabelle' ,
' 78 \ code: 0x01d510 font: Isabelle' ,
' 79 \ code: 0x01d511 font: Isabelle' ,
' 80 \ code: 0x01d512 font: Isabelle' ,
' 81 \ code: 0x01d513 font: Isabelle' ,
' 82 \ code: 0x01d514 font: Isabelle' ,
' 83 #\ code: 0x01d515 font: Isabelle' ,
' 84 \ code: 0x01d516 font: Isabelle' ,
' 85 \ code: 0x01d517 font: Isabelle' ,
' 86 \ code: 0x01d518 font: Isabelle' ,
' 87 \ code: 0x01d519 font: Isabelle' ,
' 88 \ code: 0x01d51a font: Isabelle' ,
' 89 \ code: 0x01d51b font: Isabelle' ,
' 90 \ code: 0x01d51c font: Isabelle' ,
' 91 \ code: 0x002128 font: Isabelle' ,
' 92 \ code: 0x01d51e font: Isabelle' ,
' 93 \ code: 0x01d51f font: Isabelle' ,
' 94 \ code: 0x01d520 font: Isabelle' ,
' 95 \ code: 0x01d521 font: Isabelle' ,
' 96 \ code: 0x01d522 font: Isabelle' ,
' 97 \ code: 0x01d523 font: Isabelle' ,
' 98 \ code: 0x01d524 font: Isabelle' ,
' 99 \ code: 0x01d525 font: Isabelle' ,
' 100 \ code: 0x01d526 font: Isabelle' ,
' 101 \ code: 0x01d527 font: Isabelle' ,
' 102 \ code: 0x01d528 font: Isabelle' ,
' 103 \ code: 0x01d529 font: Isabelle' ,
' 104 \ code: 0x01d52a font: Isabelle' ,
' 105 \ code: 0x01d52b font: Isabelle' ,
' 106 \ code: 0x01d52c font: Isabelle' ,
' 107 \ code: 0x01d52d font: Isabelle' ,
' 108 \ code: 0x01d52e font: Isabelle' ,
' 109 \ code: 0x01d52f font: Isabelle' ,
' 110 \ code: 0x01d530 font: Isabelle' ,
' 111 \ code: 0x01d531 font: Isabelle' ,
' 112 \ code: 0x01d532 font: Isabelle' ,
' 113 \ code: 0x01d533 font: Isabelle' ,
' 114 \ code: 0x01d534 font: Isabelle' ,
' 115 \ code: 0x01d535 font: Isabelle' ,
' 116 \ code: 0x01d536 font: Isabelle' ,
' 117 \ code: 0x01d537 font: Isabelle' ,
' 118 \ code: 0x0003b1 font: Isabelle' ,
' 119 \ code: 0x0003b2 font: Isabelle' ,
' 120 \ code: 0x0003b3 font: Isabelle' ,
' 121 \ code: 0x0003b4 font: Isabelle' ,
' 122 \ code: 0x0003b5 font: Isabelle' ,
' 123 \ code: 0x0003b6 font: Isabelle' ,
' 124 \ code: 0x0003b7 font: Isabelle' ,
' 125 \ code: 0x0003b8 font: Isabelle' ,
' 126 \ code: 0x0003b9 font: Isabelle' ,
' 127 \ code: 0x0003ba font: Isabelle' ,
' 128 \ code: 0x0003bb font: Isabelle' ,
' 129 \ code: 0x0003bc font: Isabelle' ,
' 130 \ code: 0x0003bd font: Isabelle' ,
' 131 \ code: 0x0003be font: Isabelle' ,
' 132 \ code: 0x0003c0 font: Isabelle' ,
' 133 \ code: 0x0003c1 font: Isabelle' ,
' 134 \ code: 0x0003c3 font: Isabelle' ,
' 135 \ code: 0x0003c4 font: Isabelle' ,
' 136 \ code: 0x0003c5 font: Isabelle' ,
' 137 \ code: 0x0003c6 font: Isabelle' ,
' 138 \ code: 0x0003c7 font: Isabelle' ,
' 139 \ code: 0x0003c8 font: Isabelle' ,
' 140 \ code: 0x0003c9 font: Isabelle' ,
' 141 \ code: 0x000393 font: Isabelle' ,
' 142 \ code: 0x000394 font: Isabelle' ,
' 143 \ code: 0x000398 font: Isabelle' ,
' 144 \ code: 0x00039b font: Isabelle' ,
' 145 \ code: 0x00039e font: Isabelle' ,
' 146 \ code: 0x0003a0 font: Isabelle' ,
' 147 \ code: 0x0003a3 font: Isabelle' ,
' 148 \ code: 0x0003a5 font: Isabelle' ,
' 149 \ code: 0x0003a6 font: Isabelle' ,
' 150 \ code: 0x0003a8 font: Isabelle' ,
' 151 \ code: 0x0003a9 font: Isabelle' ,
' 152 \ code: 0x01d539 font: Isabelle' ,
' 153 \ code: 0x002102 font: Isabelle' ,
' 154 \ code: 0x002115 font: Isabelle' ,
' 155 \ code: 0x00211a font: Isabelle' ,
' 156 \ code: 0x00211d font: Isabelle' ,
' 157 \ code: 0x002124 font: Isabelle' ,
' 158 \ code: 0x002190 font: Isabelle' ,
' 159 \ code: 0x0027f5 font: Isabelle' ,
' 160 \ code: 0x002192 font: Isabelle abbrev: ->' ,
' 161 \ code: 0x0027f6 font: Isabelle abbrev: -->' ,
' 162 \ code: 0x0021d0 font: Isabelle' ,
' 163 \ code: 0x0027f8 font: Isabelle ' ,
' 164 \ code: 0x0021d2 font: Isabelle abbrev: =>' ,
' 165 \ code: 0x0027f9 font: Isabelle abbrev: ==>' ,
' 166 \ code: 0x002194 font: Isabelle abbrev: <->' ,
' 167 \ code: 0x0027f7 font: Isabelle abbrev: <-->' ,
' 168 \ code: 0x0021d4 font: Isabelle abbrev: <=>' ,
' 169 \ code: 0x0027fa font: Isabelle abbrev: <==>' ,
' 170 \ code: 0x0021a6 font: Isabelle abbrev: |->' ,
' 171 \ code: 0x0027fc font: Isabelle abbrev: |-->' ,
' 172 \ code: 0x002500 font: Isabelle' ,
' 173 \ code: 0x002550 font: Isabelle' ,
' 174 \ code: 0x0021a9 font: Isabelle' ,
' 175 \ code: 0x0021aa font: Isabelle' ,
' 176 \ code: 0x0021bd font: Isabelle' ,
' 177 \ code: 0x0021c1 font: Isabelle' ,
' 178 \ code: 0x0021bc font: Isabelle' ,
' 179 \ code: 0x0021c0 font: Isabelle' ,
' 180 \ code: 0x0021cc font: Isabelle' ,
' 181 \ code: 0x00219d font: Isabelle abbrev: ~>' ,
' 182 \ code: 0x0021c3 font: Isabelle' ,
' 183 \ code: 0x0021c2 font: Isabelle' ,
' 184 \ code: 0x0021bf font: Isabelle' ,
' 185 \ code: 0x0021be font: Isabelle' ,
' 186 \ code: 0x0021be font: Isabelle' ,
' 187 \ code: 0x002237 font: Isabelle' ,
' 188 \ code: 0x002191 font: Isabelle' ,
' 189 \ code: 0x0021d1 font: Isabelle' ,
' 190 \ code: 0x002193 font: Isabelle' ,
' 191 \ code: 0x0021d3 font: Isabelle' ,
' 192 \ code: 0x002195 font: Isabelle' ,
' 193 \ code: 0x0021d5 font: Isabelle' ,
' 194 \ code: 0x0027e8 font: Isabelle abbrev: <.' ,
' 195 \ code: 0x0027e9 font: Isabelle abbrev: .>' ,
' 196 \ code: 0x002308 font: Isabelle' ,
' 197 \ code: 0x002309 font: Isabelle' ,
' 198 \ code: 0x00230a font: Isabelle' ,
' 199 \ code: 0x00230b font: Isabelle' ,
' 200 \ code: 0x002987 font: Isabelle abbrev: (|' ,
' 201 \ code: 0x002988 font: Isabelle abbrev: |)' ,
' 202 \ code: 0x0027e6 font: Isabelle abbrev: [|' ,
' 203 \ code: 0x0027e7 font: Isabelle abbrev: |]' ,
' 204 \ code: 0x002983 font: Isabelle abbrev: {.' ,
' 205 \ code: 0x002984 font: Isabelle abbrev: .}' ,
' 206 \ code: 0x0000ab abbrev: <<' ,
' 207 \ code: 0x0000bb abbrev: >>' ,
' 208 \ code: 0x0022a5 font: Isabelle' ,
' 209 \ code: 0x0022a4 font: Isabelle' ,
' 210 \ code: 0x002227 font: Isabelle abbrev: /\' ,
' 211 \ code: 0x0022c0 font: Isabelle abbreb: !!' ,
' 212 \ code: 0x002228 font: Isabelle abbrev: \/' ,
' 213 \ code: 0x0022c1 font: Isabelle abbrev: ??' ,
' 214 \ code: 0x002200 font: Isabelle abbrev: !' ,
' 215 \ code: 0x002203 font: Isabelle abbrev: ?.' ,
' 216 \ code: 0x002204 font: Isabelle abbrev: ?~' ,
' 217 \ code: 0x0000ac font: Isabelle abbrev: ~' ,
' 218 \ code: 0x0025a1 font: Isabelle' ,
' 219 \ code: 0x0025c7 font: Isabelle' ,
' 220 \ code: 0x0022a2 font: Isabelle abbrev: |-' ,
' 221 \ code: 0x0022a8 font: Isabelle abbrev: |=' ,
' 222 \ code: 0x0022a9 font: Isabelle abbrev: ||-' ,
' 223 \ code: 0x0022ab font: Isabelle abbrev: ||=' ,
' 224 \ code: 0x0022a3 font: Isabelle abbrev: -|' ,
' 225 \ code: 0x00221a font: Isabelle' ,
' 226 \ code: 0x002264 font: Isabelle abbrev: <=' ,
' 227 \ code: 0x002265 font: Isabelle abbrev: >=' ,
' 228 \ code: 0x00226a font: Isabelle' ,
' 229 \ code: 0x00226b font: Isabelle' ,
' 230 \ code: 0x002272 font: Isabelle' ,
' 231 \ code: 0x002273 font: Isabelle' ,
' 232 \ code: 0x002a85 font: Isabelle' ,
' 233 \ code: 0x002a86 font: Isabelle' ,
' 234 \ code: 0x002208 font: Isabelle abbrev: :' ,
' 235 \ code: 0x002209 font: Isabelle abbrev: ~:' ,
' 236 \ code: 0x002282 font: Isabelle' ,
' 237 \ code: 0x002283 font: Isabelle' ,
' 238 \ code: 0x002286 font: Isabelle abbrev: (=' ,
' 239 \ code: 0x002287 font: Isabelle abbrev: =)' ,
' 240 \ code: 0x00228f font: Isabelle' ,
' 241 \ code: 0x002290 font: Isabelle' ,
' 242 \ code: 0x002291 font: Isabelle abbrev: [=' ,
' 243 \ code: 0x002292 font: Isabelle abbrev: =]' ,
' 244 \ code: 0x002229 font: Isabelle abbrev: Int' ,
' 245 \ code: 0x0022c2 font: Isabelle abbrev: Inter' ,
' 246 \ code: 0x00222a font: Isabelle abbrev: Un' ,
' 247 \ code: 0x0022c3 font: Isabelle abbrev: Union' ,
' 248 \ code: 0x002294 font: Isabelle abbrev: ||' ,
' 249 \ code: 0x002a06 font: Isabelle abbrev: |||' ,
' 250 \ code: 0x002293 font: Isabelle abbrev: &&' ,
' 251 \ code: 0x002a05 font: Isabelle abbrev: &&&' ,
' 252 \ code: 0x002216 font: Isabelle' ,
' 253 \ code: 0x00221d font: Isabelle' ,
' 254 \ code: 0x00228e font: Isabelle' ,
' 255 \ code: 0x002a04 font: Isabelle' ,
' 256 \ code: 0x002260 font: Isabelle abbrev: ~=' ,
' 257 \ code: 0x00223c font: Isabelle' ,
' 258 \ code: 0x002250 font: Isabelle' ,
' 259 \ code: 0x002243 font: Isabelle' ,
' 260 \ code: 0x002248 font: Isabelle' ,
' 261 \ code: 0x00224d font: Isabelle' ,
' 262 \ code: 0x002245 font: Isabelle' ,
' 263 \ code: 0x002323 font: Isabelle' ,
' 264 \ code: 0x002261 font: Isabelle abbrev: ==' ,
' 265 \ code: 0x002322 font: Isabelle' ,
' 266 \ code: 0x0022c8 font: Isabelle' ,
' 267 \ code: 0x002a1d font: Isabelle' ,
' 268 \ code: 0x00227a font: Isabelle' ,
' 269 \ code: 0x00227b font: Isabelle' ,
' 270 \ code: 0x00227c font: Isabelle' ,
' 271 \ code: 0x00227d font: Isabelle' ,
' 272 \ code: 0x002225 font: Isabelle abbrev: ||' ,
' 273 \ code: 0x0000a6' ,
' 274 \ code: 0x0000b1 font: Isabelle' ,
' 275 \ code: 0x002213 font: Isabelle' ,
' 276 \ code: 0x0000d7 font: Isabelle' ,
' 277 \ code: 0x0000f7 font: Isabelle',
' 278 \ code: 0x0022c5 font: Isabelle' ,
' 279 \ code: 0x0022c6 font: Isabelle' ,
' 280 \ code: 0x002219 font: Isabelle' ,
' 281 \ code: 0x002218 font: Isabelle' ,
' 282 \ code: 0x002020 font: Isabelle' ,
' 283 \ code: 0x002021 font: Isabelle' ,
' 284 \ code: 0x0022b2 font: Isabelle' ,
' 285 \ code: 0x0022b3 font: Isabelle' ,
' 286 \ code: 0x0022b4 font: Isabelle' ,
' 287 \ code: 0x0022b5 font: Isabelle' ,
' 288 \ code: 0x0025c3 font: Isabelle' ,
' 289 \ code: 0x0025b9 font: Isabelle' ,
' 290 \ code: 0x0025b3 font: Isabelle' ,
' 291 \ code: 0x00225c font: Isabelle' ,
' 292 \ code: 0x002295 font: Isabelle abbrev: +o' ,
' 293 \ code: 0x002a01 font: Isabelle abbrev: +O' ,
' 294 \ code: 0x002297 font: Isabelle abbrev: *o' ,
' 295 \ code: 0x002a02 font: Isabelle abbrev: *O' ,
' 296 \ code: 0x002299 font: Isabelle abbrev: .o' ,
' 297 \ code: 0x002a00 font: Isabelle abbrev: .O' ,
' 298 \ code: 0x002296 font: Isabelle abbrev: -o' ,
' 299 \ code: 0x002298 font: Isabelle abbrev: /o' ,
' 300 \ code: 0x002026 font: Isabelle abbrev: ...' ,
' 301 \ code: 0x0022ef font: Isabelle' ,
' 302 \ code: 0x002211 font: Isabelle abbrev: SUM' ,
' 303 \ code: 0x00220f font: Isabelle abbrev: PROD' ,
' 304 \ code: 0x002210 font: Isabelle' ,
' 305 \ code: 0x00221e font: Isabelle' ,
' 306 \ code: 0x00222b font: Isabelle' ,
' 307 \ code: 0x00222e font: Isabelle' ,
' 308 \ code: 0x002663 font: Isabelle' ,
' 309 \ code: 0x002662 font: Isabelle' ,
' 310 \ code: 0x002661 font: Isabelle' ,
' 311 \ code: 0x002660 font: Isabelle' ,
' 312 \ code: 0x002135 font: Isabelle' ,
' 313 \ code: 0x002205 font: Isabelle' ,
' 314 \ code: 0x002207 font: Isabelle' ,
' 315 \ code: 0x002202 font: Isabelle' ,
' 316 \ code: 0x00211c font: Isabelle' ,
' 317 \ code: 0x002111 font: Isabelle' ,
' 318 \ code: 0x00266d font: Isabelle' ,
' 319 \ code: 0x00266e font: Isabelle' ,
' 320 \ code: 0x00266f font: Isabelle' ,
' 321 \ code: 0x002220 font: Isabelle' ,
' 322 \ code: 0x0000a9 font: Isabelle' ,
' 323 \ code: 0x0000ae font: Isabelle' ,
' 324 \ code: 0x0000ad' ,
' 325 \ code: 0x0000af' ,
' 326 \ code: 0x0000b9' ,
' 327 \ code: 0x0000bc' ,
' 328 \ code: 0x0000b2' ,
' 329 \ code: 0x0000bd' ,
' 330 \ code: 0x0000b3' ,
' 331 \ code: 0x0000be' ,
' 332 \ code: 0x0000aa' ,
' 333 \ code: 0x0000ba' ,
' 334 \ ,
' 335 \ code: 0x0000b6' ,
' 336 \ code: 0x0000a1' ,
' 337 \ code: 0x0000bf' ,
' 338 \ code: 0x0020ac' ,
' 339 \ code: 0x0000a3' ,
' 340 \ code: 0x0000a5' ,
' 341 \ code: 0x0000a2' ,
' 342 \ code: 0x0000a4' ,
' 343 \ code: 0x0000b0 font: Isabelle' ,
' 344 \ code: 0x002a3f font: Isabelle' ,
' 345 \ code: 0x002127 font: Isabelle' ,
' 346 \ code: 0x0025ca font: Isabelle' ,
' 347 \ code: 0x002118 font: Isabelle' ,
' 348 \ code: 0x002240 font: Isabelle' ,
' 349 \ code: 0x0022c4 font: Isabelle' ,
' 350 \ code: 0x0000b4' ,
' 351 \ code: 0x000131 font: Isabelle' ,
' 352 \ code: 0x0000a8' ,
' 353 \ code: 0x0000b8' ,
' 354 \ code: 0x0002dd' ,
' 355 \ code: 0x002423 font: Isabelle' ,
' 356 \ code: 0x0003f5 font: Isabelle' ,
' 357 ' );
Messung V0.5 C=95 H=100 G=97
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
