21 months ago ago wenzelm treat sessions as entities with defining position;
21 months ago ago wenzelm options file for x86_64 only (amending 03a96b8c7c06);
21 months ago ago wenzelm updated to jdk-8u162;
21 months ago ago wenzelm more robust java.ext.dirs: avoid picking up accidental jars from system directories;
21 months ago ago Lars Hupel drop redundant cong rules
21 months ago ago Lars Hupel merged
21 months ago ago nipkow removed duplicate
21 months ago ago Lars Hupel drop redundant fundef_cong rule
21 months ago ago Lars Hupel tuned
21 months ago ago Lars Hupel repair malformed fundef_cong rule
21 months ago ago wenzelm tuned message: same error may occur in different contexts;
22 months ago ago wenzelm detect more errors;
22 months ago ago nipkow merged
22 months ago ago nipkow made sorted fun again
22 months ago ago bulwahn add lemma on lists from Falling_Factorial_Sum entry
22 months ago ago wenzelm merged
22 months ago ago wenzelm avoid evaluation of embedded comment;
22 months ago ago wenzelm disable "display" style in marginal (line) comment;
22 months ago ago wenzelm more uniform output of source / text / theory_text, with handling of formal comments etc.;
22 months ago ago wenzelm sort completion result;
22 months ago ago wenzelm recovered antiquotation check without latex mode (cf. dfc93f2b01ea);
22 months ago ago wenzelm formal treatment of documentation names;
22 months ago ago wenzelm support for completion;
22 months ago ago wenzelm adapted to a5ca98950a91;
22 months ago ago wenzelm tuned output of plain name;
22 months ago ago wenzelm clarified signature;
22 months ago ago wenzelm tuned;
22 months ago ago wenzelm tuned;
22 months ago ago wenzelm unused;
22 months ago ago wenzelm clarified access to antiquotation options;
22 months ago ago wenzelm more operations;
22 months ago ago wenzelm tuned signature;
22 months ago ago wenzelm discontinued unused wrapper: print_mode is provided directly;
22 months ago ago nipkow imported patch sorted
22 months ago ago nipkow corrected name
22 months ago ago nipkow moved from AFP/Gromov
22 months ago ago nipkow moved from AFP/Gromov
22 months ago ago nipkow added lemma
22 months ago ago nipkow moved from AFP/Gromov
22 months ago ago nipkow moved t3/t4 space from AFP/Gromov to here.
22 months ago ago nipkow more automation
22 months ago ago nipkow more lemmas by Gouezele
22 months ago ago nipkow move lemmas by Gouezel to distribution
22 months ago ago ballarin Experimental support for rewrite morphisms in locale instances.
22 months ago ago wenzelm tuned signature;
22 months ago ago wenzelm more documentation;
22 months ago ago wenzelm clarified markup;
22 months ago ago wenzelm discontinued old form of marginal comments;
22 months ago ago wenzelm tuned document;
22 months ago ago wenzelm clarified comments;
22 months ago ago wenzelm standardized towards new-style formal comments: isabelle update_comments;
22 months ago ago wenzelm uniform treatment of old-style and new-style comments;
22 months ago ago wenzelm tuned signature;
22 months ago ago wenzelm clarified markup;
22 months ago ago wenzelm more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>;
22 months ago ago wenzelm clarified modules;
22 months ago ago nipkow tuned
22 months ago ago wenzelm eliminated clones;
22 months ago ago wenzelm trim blanks -- more thoroughly than in update_cartouches (for single-line comments);
22 months ago ago wenzelm more operations (as in ML);