NEWS
18 months ago nipkow 2018-01-05 Renamed (^) to [^] in preparation of the move from "op X" to (X)
18 months ago blanchet 2018-01-03 updated NEWS
18 months ago wenzelm 2018-01-01 more completion templates;
18 months ago wenzelm 2017-12-30 more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
18 months ago wenzelm 2017-12-30 more robust treatment of conflicts with existing Unicode text;
18 months ago wenzelm 2017-12-30 tuned whitespace;
19 months ago wenzelm 2017-12-29 formal check of @{cite} bibtex entries -- only in batch-mode session builds;
19 months ago wenzelm 2017-12-28 NEWS;
19 months ago wenzelm 2017-12-22 tuned;
19 months ago wenzelm 2017-12-22 discontinued 'display_drafts' command;
19 months ago wenzelm 2017-12-22 action "isabelle.draft" for plain-text preview;
19 months ago wenzelm 2017-12-22 NEWS;
19 months ago wenzelm 2017-12-21 isabelle.preview presents bibtex database files as well;
19 months ago wenzelm 2017-12-21 isabelle.preview presents auxiliary text files as well;
19 months ago traytel 2017-12-18 a conditional paramitrecity prover
19 months ago wenzelm 2017-12-16 tuned;
19 months ago wenzelm 2017-12-16 added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
19 months ago wenzelm 2017-12-16 PIDE markup for session ROOT files;
19 months ago haftmann 2017-12-14 dedicated case option for code generation to Scala
19 months ago wenzelm 2017-12-14 expose bibtex errors;
19 months ago wenzelm 2017-12-14 NEWS;
19 months ago wenzelm 2017-12-13 positions as postlude: avoid intrusion of odd %-forms into main tex source;
19 months ago wenzelm 2017-12-12 option document_positions;
19 months ago wenzelm 2017-12-10 re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
19 months ago wenzelm 2017-12-10 more explicit latex errors;
19 months ago wenzelm 2017-12-07 clarified document preparation vs. skip_proofs;
19 months ago wenzelm 2017-12-06 name mangling for Latex macros; tuned signature;
19 months ago wenzelm 2017-12-05 more documentation;
19 months ago wenzelm 2017-12-04 NEWS;
19 months ago wenzelm 2017-12-03 discontinued old 'def' command;
20 months ago wenzelm 2017-11-27 updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
20 months ago wenzelm 2017-11-25 Mac OS X 10.10 Yosemite is baseline;
20 months ago wenzelm 2017-11-13 init Mercurial repository for the generated session files;
20 months ago haftmann 2017-11-11 dedicated definition for coprimality
20 months ago wenzelm 2017-11-11 more options for "isabelle mkroot"; updated documentation;
20 months ago wenzelm 2017-11-05 more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
20 months ago wenzelm 2017-11-03 tuned (non-unique example);
20 months ago wenzelm 2017-11-03 clarified situation of global theory names;
20 months ago wenzelm 2017-11-02 allow unrelated ancestor; clarified error;
20 months ago wenzelm 2017-11-02 support alternative ancestor session;
20 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
20 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
20 months ago haftmann 2017-10-31 removed ancient nat-int transfer
21 months ago wenzelm 2017-10-30 NEWS;
21 months ago haftmann 2017-10-30 rule out pathologic instances
21 months ago wenzelm 2017-10-23 discontinued Linux 32bit platform support;
21 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
21 months ago wenzelm 2017-10-12 more informative Imports.Report with actual session imports (minimized);
21 months ago wenzelm 2017-10-11 tuned whitespace;
21 months ago wenzelm 2017-10-11 clarified meta_digest;
21 months ago wenzelm 2017-10-11 added isablle build option -f;
21 months ago paulson 2017-10-10 Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
21 months ago haftmann 2017-10-08 Polynomial_Factorial does not depend on Field_as_Ring as such
21 months ago haftmann 2017-10-08 avoid name clashes on interpretation of abstract locales
21 months ago haftmann 2017-10-08 avoid trivial definition
21 months ago haftmann 2017-10-08 avoid fact name clashes
21 months ago wenzelm 2017-10-08 merged
21 months ago wenzelm 2017-10-03 more NEWS;
21 months ago wenzelm 2017-10-05 completion supports theory header imports; tuned;
21 months ago wenzelm 2017-10-04 process ROOT files only once, which allows duplicate (or overlapping) session root directories;