85 Commits (87781a0ff9847cc0062e04e441fab0ce012c5dec)

Author SHA1 Message Date
Jure Šorn b1b8b98c1a Exceptions list 5 years ago
Jure Šorn 1074b75efe Faster conversion of tables from ascii to unidoce in script_2.js 5 years ago
Jure Šorn 0ede757ec6 Iterable duck types table fix 5 years ago
Jure Šorn 3a1ba7e1f3 Ascii tables are now used by default instead of unicode ones 5 years ago
Jure Šorn 96b2774ab9 Empty script 5 years ago
Jure Šorn 5d451478ef Empty script 5 years ago
Jure Šorn fe4e25a2f5 Iterable duck types 5 years ago
Jure Šorn 1243d017f3 New table 5 years ago
Jure Šorn 6569665e85 Fixed problem with table parsing in script_2.js 5 years ago
Jure Šorn 4ec66e761c Fixing script_2.js 5 years ago
Jure Šorn 49d897ef34 Fixing script_2.js 5 years ago
Jure Šorn 37cb4249f7 Script_2.js diagrams test 5 years ago
Jure Šorn 4b6f006ebb Script_2.js diagrams test 5 years ago
Jure Šorn d62af13ac6 Script_2.js diagrams test 5 years ago
Jure Šorn 9f5390caf8 Script_2.js diagrams test 5 years ago
Jure Šorn b9b503a23c Duck types 5 years ago
Jure Šorn ec203fd7a6 Duck types table 5 years ago
Jure Šorn 935c390f8c Format 5 years ago
Jure Šorn c2b3a1a761 ABC 5 years ago
Jure Šorn 12c8c9b30b Font detection 5 years ago
Jure Šorn 5ef3843dab Removed NEW 5 years ago
Jure Šorn 528d617781 Meta description 5 years ago
Jure Šorn e1189d1b38 Google site verification 5 years ago
Jure Šorn 72383f0fb6 Button 5 years ago
Jure Šorn 7dbaaf3105 Button 5 years ago
Jure Šorn 431244d137 Removed button from nonmobile 5 years ago
Jure Šorn 2b9f30a4be Button 5 years ago
Jure Šorn 72b5ef34ae Back to top button 5 years ago
Jure Šorn 570d951dd5 Added back to top button 5 years ago
Jure Šorn f1827a6107 Classes diagram 5 years ago
Jure Šorn 633575ca9d JS script removes new from TOC if Menlo font not present 5 years ago
Jure Šorn 0690c8f56d Empty script 5 years ago
Jure Šorn 7f235e81a1 Diagrams 5 years ago
Jure Šorn aae6fa040e Added JS script that checks if Menlo font exists 5 years ago
Jure Šorn 0a5b6ba0be Removed green color, comparable 5 years ago
Jure Šorn 590aa64e82 Updated empty_script.py 5 years ago
Jure Šorn 73127e3795 Webpage is now static 5 years ago
s-weigand 7d8044e27d implemented changes requested in #23 5 years ago
Jure Šorn e5ea8a95f1 Fixed TOC string in script.js 5 years ago
Jure Šorn 5b40ce2e74 Script.js insertLinks called earlier 5 years ago
Sebastian Weigand 2ccc47758e restyled banner area 5 years ago
Sebastian Weigand eb46944582 rebased on current master again 5 years ago
s-weigand 68c58db5aa rebased to current master 5 years ago
s-weigand e73f8d4820 adjusted indentation to mimic original layout 5 years ago
Sebastian Weigand 1c5d6ba9e0 Adjusted web page for mobile use 5 years ago
Jure Šorn 3702b06a90 Script.js cleanup 5 years ago
Jure Šorn 45160cc9ab Script.js fix 5 years ago
Jure Šorn 1cb2af3276 Fixed RemovedMdToc 5 years ago
Jure Šorn 256e03d0eb Fixed RemovedMdToc 5 years ago
Jure Šorn b209237cd6 Fixed RemovedMdToc 5 years ago