2017-12-30 wenzelm more robust treatment of conflicts with existing Unicode text;
2017-12-30 wenzelm tuned whitespace;
2017-12-29 wenzelm no check for bibtex entries from other sessions;
2017-12-29 wenzelm clarified signature;
2017-12-29 wenzelm more accurate message patterns;
2017-12-29 wenzelm prefer formal citations;
2017-12-29 wenzelm proper bibtex entries;
2017-12-29 wenzelm formal check of @{cite} bibtex entries -- only in batch-mode session builds;
2017-12-28 wenzelm clarified check, notably for bibtex theory (amending 5f082b1fa9fa);
2017-12-28 wenzelm NEWS;
2017-12-28 wenzelm proper check for imports, not just ROOT entries;
2017-12-28 wenzelm tuned signature;
2017-12-28 wenzelm implicit thy_load context for bibtex files (VSCode);
2017-12-28 wenzelm bibtex theory is always required and thus eventually consolidated;
2017-12-28 wenzelm implicit thy_load context for bibtex files;
2017-12-28 wenzelm clarified signature: prefer Document.Node.Name.is_bibtex;
2017-12-28 wenzelm avoid spurious noise: Prover IDE is meant to check for errors;
2017-12-28 wenzelm clarified signature;
2017-12-28 wenzelm avoid clash with special files in HTML output;
2017-12-28 wenzelm unused;
2017-12-28 wenzelm tuned signature;
2017-12-28 wenzelm prefer existing Resources.check_path;
2017-12-28 wenzelm more accurate bibtex entries;
2017-12-28 wenzelm added command 'bibtex_file' (for PIDE interaction only);
2017-12-27 wenzelm clarified default position for empty message pos;
2017-12-25 haftmann spelling
2017-12-24 eberlm Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
2017-12-24 wenzelm fewer warnings;
2017-12-24 wenzelm clarified positions;
2017-12-24 wenzelm check bibtex database on ML side -- for semantic PIDE editing;
2017-12-24 wenzelm clarified directories;
2017-12-24 wenzelm more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);
2017-12-23 wenzelm check bibtex database: errors and warnings;
2017-12-23 wenzelm more symbols;
2017-12-22 paulson Merge
2017-12-22 paulson Merge
2017-12-22 paulson new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
2017-12-22 wenzelm more symbols;
2017-12-22 wenzelm tuned;
2017-12-22 wenzelm store full blob source for the sake of markup_to_XML;
2017-12-22 wenzelm PIDE markup for non-theory nodes;
2017-12-22 wenzelm discontinued 'display_drafts' command;
2017-12-22 wenzelm action "isabelle.draft" for plain-text preview;
2017-12-22 wenzelm NEWS;
2017-12-22 wenzelm uniform preview for Isabelle/jEdit and Isabelle/VSCode;
2017-12-22 wenzelm tuned;
2017-12-22 wenzelm clarified URL: unique node name;
2017-12-22 wenzelm clarified signature;
2017-12-22 wenzelm proper title;
2017-12-22 wenzelm HTML rendering of \<^control> as in Isabelle/jEdit;
2017-12-22 wenzelm auto update;
2017-12-22 wenzelm clarified modules;
2017-12-22 wenzelm proper HTML title;
2017-12-22 wenzelm tuned signature;
2017-12-21 wenzelm tuned output;
2017-12-21 wenzelm merged
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 tip