2023-01-20 wenzelm tuned;
2023-01-20 wenzelm tuned;
2023-01-19 wenzelm merged
2023-01-19 wenzelm clarified "selected" status;
2023-01-19 wenzelm uniform keywords for embedded syntax;
2023-01-19 wenzelm clarified signature;
2023-01-19 wenzelm tuned signature;
2023-01-19 wenzelm clarified signature;
2023-01-19 wenzelm more complete index;
2023-01-19 wenzelm tuned comments;
2023-01-19 wenzelm parse citations from raw source, without formal context;
2023-01-18 wenzelm tuned signature: fewer warnings in IntelliJ IDEA;
2023-01-18 wenzelm tuned messages;
2023-01-18 wenzelm tuned GUI;
2023-01-18 wenzelm clarified signature;
2023-01-18 wenzelm more efficient, thanks to persistent lazy data in Document.Node;
2023-01-18 wenzelm proper line positions for PIDE document;
2023-01-18 wenzelm tuned;
2023-01-19 paulson HOL/Library/BigO is obsolete
2023-01-19 paulson merged
2023-01-19 paulson tidy up of this messy and obsolete theory
2023-01-17 wenzelm clarified file positions: retain original source path;
2023-01-17 wenzelm backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;
2023-01-17 wenzelm clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9;
2023-01-16 wenzelm tuned;
2023-01-16 wenzelm tuned GUI;
2023-01-16 wenzelm permissive treatment of citations before the theory header: avoid too many changes in AFP;
2023-01-16 wenzelm more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip