products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jars image not shown  


Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: cover.html   Sprache: Cobol

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
6F6F6620417373697374616E743C2F74
69746C653E0A0A3C2F686561643E0A0A
3C626F64793E0A0A3C6469762069643D
22636F6E7461696E6572223E0A0A3C64
69762069643D22686561646572746F70
223E0A3C6469762069643D226E617622
3E0A20203C756C20636C6173733D226C
696E6B732D6D656E75223E0A20202020
3C6C693E3C6120687265663D222F2220
636C6173733D22616374697665223E48
6F6D653C2F613E3C2F6C693E0A202020
203C6C693E3C6120687265663D222F61
626F75742D636F7122207469746C653D
224D6F72652061626F757420636F7122
3E41626F757420436F713C2F613E3C2F
6C693E0A202020203C6C693E3C612068
7265663D222F646F776E6C6F6164223E
47657420436F713C2F613E3C2F6C693E
0A202020203C6C693E3C612068726566
3D222F646F63756D656E746174696F6E
223E446F63756D656E746174696F6E3C
2F613E3C2F6C693E0A202020203C6C69
3E3C6120687265663D222F636F6D6D75
6E697479223E436F6D6D756E6974793C
2F613E3C2F6C693E0A20203C2F756C3E
0A3C2F6469763E0A3C2F6469763E0A0A
3C6469762069643D2268656164657222
3E0A3C6469762069643D226C6F676F57
726170706572223E0A20203C64697620
69643D226C6F676F223E3C6120687265
663D222F22207469746C653D22486F6D
65223E3C696D67207372633D222F6669
6C65732F626172726F6E5F6C6F676F2E
706E672220616C743D22486F6D652220
2F3E3C2F613E0A20203C2F6469763E0A
20203C6469762069643D22736974654E
616D65223E3C6120687265663D222F22
207469746C653D22486F6D65223E5468
6520436F712050726F6F662041737369
7374616E743C2F613E0A20203C2F6469
763E0A3C2F6469763E0A3C2F6469763E
0A0A3C6469762069643D22636F6E7465
6E74223E0A0A3C6272202F3E0A3C6831
207374796C653D22746578742D616C69
676E3A63656E7465723B20666F6E742D
7765696768743A626F6C643B20666F6E
742D73697A653A20333030253B206C69
6E652D6865696768743A20326578223E
5265666572656E6365204D616E75616C
3C2F68313E0A0A3C6832207374796C65
3D22746578742D616C69676E3A63656E
7465723B20666F6E742D73697A653A20
31323025223E56657273696F6E20434F
5156455253494F4E3C2F68323E0A3C62
72202F3E0A0A3C6832207374796C653D
22746578742D616C69676E3A63656E74
65723B20666F6E742D73697A653A2031
353025223E54686520436F7120446576
656C6F706D656E74205465616D3C2F68
323E0A3C6272202F3E3C6272202F3E3C
6272202F3E0A0A3C70207374796C653D
22746578742D696E64656E743A307074
223E436F7079726967687420A920494E
52494120313939392D323031373C2F70
3E0A0A3C70207374796C653D22746578
742D696E64656E743A307074223E5468
6973206D6174657269616C206D617920
6265206469737472696275746564206F
6E6C79207375626A65637420746F2074
6865207465726D7320616E6420636F6E
646974696F6E732073657420666F7274
6820696E20746865204F70656E205075
626C69636174696F6E204C6963656E73
652C2076312E30206F72206C61746572
2028746865206C617465737420766572
73696F6E2069732070726573656E746C
7920617661696C61626C65206174203C
6120687265663D22687474703A2F2F77
77772E6F70656E636F6E74656E742E6F
72672F6F70656E707562223E68747470
3A2F2F7777772E6F70656E636F6E7465
6E742E6F72672F6F70656E7075623C2F
613E292E204F7074696F6E7320412061
6E64204220617265206E6F7420656C65
637465642E3C2F703E0A0A3C2F646976
3E0A3C2F6469763E0A3C2F6469763E0A
0A3C6469762069643D22736964656261
7257726170706572223E0A3C64697620
69643D2273696465626172223E0A0A3C
64697620636C6173733D22626C6F636B
223E0A3C683220636C6173733D227469
746C65223E4E617669676174696F6E3C
2F68323E0A3C64697620636C6173733D
22636F6E74656E74223E0A0A3C756C20
636C6173733D226D656E75223E0A0A3C
6C6920636C6173733D226C656166223E
3C6120687265663D22696E6465782E68
746D6C223E436F7665723C2F613E3C2F
6C693E0A0A3C6C6920636C6173733D22
6C656166223E3C6120687265663D2274
6F632E68746D6C223E5461626C65206F
6620636F6E74656E74733C2F613E3C2F
6C693E0A3C6C6920636C6173733D226C
656166223E496E6465780A20203C756C
20636C6173733D226D656E75223E0A20
203C6C693E3C6120687265663D226765
6E6572616C2D696E6465782E68746D6C
223E47656E6572616C3C2F613E3C2F6C
693E0A20203C6C693E3C612068726566
3D22636F6D6D616E642D696E6465782E
68746D6C223E436F6D6D616E64733C2F
613E3C2F6C693E0A20203C6C693E3C61
20687265663D226F7074696F6E2D696E
6465782E68746D6C223E4F7074696F6E
733C2F613E3C2F6C693E0A20203C6C69
3E3C6120687265663D22746163746963
2D696E6465782E68746D6C223E546163
746963733C2F613E3C2F6C693E0A2020
3C6C693E3C6120687265663D22657272
6F722D696E6465782E68746D6C223E45
72726F72733C2F613E3C2F6C693E0A20
203C2F756C3E0A0A3C2F6C693E0A0A3C
2F756C3E0A0A3C2F6469763E0A3C2F64
69763E0A0A3C2F6469763E0A3C2F6469
763E0A0A0A3C6469762069643D22666F
6F746572223E0A3C6469762069643D22
6E61762D666F6F746572223E0A20203C
756C20636C6173733D226C696E6B732D
6D656E752D666F6F746572223E0A2020
20203C6C693E3C6120687265663D226D
61696C746F3A636F712D7777775F405F
696E7269612E6672223E7765626D6173
7465723C2F613E3C2F6C693E0A202020
203C6C693E3C6120687265663D226874
74703A2F2F76616C696461746F722E77
332E6F72672F223E7868746D6C207661
6C69643C2F613E3C2F6C693E0A202020
203C6C693E3C6120687265663D226874
74703A2F2F6A69677361772E77332E6F
72672F6373732D76616C696461746F72
2F223E4353532076616C69643C2F613E
3C2F6C693E0A20203C2F756C3E0A0A3C
2F6469763E0A0A3C2F6469763E0A0A3C
2F626F64793E0A0A3C2F68746D6C3E0A
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
...

maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!