2012-12-31 wenzelm 2012-12-31 updated for release;
2012-12-31 wenzelm 2012-12-31 updated for release;
2012-12-31 wenzelm 2012-12-31 updated for release;
2012-12-31 wenzelm 2012-12-31 misc tuning for release;
2012-12-31 wenzelm 2012-12-31 recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;
2012-12-31 wenzelm 2012-12-31 updated to smlnj-110.75;
2012-12-30 wenzelm 2012-12-30 tuned rendering;
2012-12-30 wenzelm 2012-12-30 ignore markup elements over empty body, which are not well-defined within markup tree and fail to work with merge_disjoint (e.g. multiple inlined positions);
2012-12-30 wenzelm 2012-12-30 tuned;
2012-12-30 wenzelm 2012-12-30 more informative error;
2012-12-30 wenzelm 2012-12-30 tuned -- recovered comments from 791157a4179a;
2012-12-30 wenzelm 2012-12-30 tuned;
2012-12-30 wenzelm 2012-12-30 tuned whitespace;
2012-12-30 wenzelm 2012-12-30 uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5);
2012-12-29 wenzelm 2012-12-29 tuned;
2012-12-29 nipkow 2012-12-29 new theory Library/Finite_Lattice
2012-12-28 blanchet 2012-12-28 tuned ML function name
2012-12-28 blanchet 2012-12-28 slightly more elegant naming convention (to keep low-level and high-level APIs separated)
2012-12-28 blanchet 2012-12-28 tuned ML function names
2012-12-28 haftmann 2012-12-28 code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
2012-12-28 haftmann 2012-12-28 code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
2012-12-28 haftmann 2012-12-28 formally corrected
2012-12-27 haftmann 2012-12-27 tuned
2012-12-27 haftmann 2012-12-27 uniform parentheses for constructor -- necessary to accomodate scala 10
2012-12-27 haftmann 2012-12-27 more explicit name
2012-12-27 blanchet 2012-12-27 improved thm order hack, in case the default names are overridden
2012-12-27 blanchet 2012-12-27 enable theory learning in MaSh
2012-12-27 blanchet 2012-12-27 merged
2012-12-27 blanchet 2012-12-27 new version of MaSh
2012-12-27 blanchet 2012-12-27 fixed total
2012-12-27 blanchet 2012-12-27 new version of MaSh, with theory-level reasoning
2012-12-27 haftmann 2012-12-27 tuned
2012-12-26 wenzelm 2012-12-26 prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
2012-12-23 nipkow 2012-12-23 renamed and added lemmas
2012-12-22 nipkow 2012-12-22 added simp rule
2012-12-21 nipkow 2012-12-21 merged
2012-12-21 nipkow 2012-12-21 merged
2012-12-21 nipkow 2012-12-21 merged
2012-12-21 blanchet 2012-12-21 linearize eval driver, to work around horrible bug in previous implementation
2012-12-21 blanchet 2012-12-21 name tuning
2012-12-21 blanchet 2012-12-21 merge
2012-12-20 blanchet 2012-12-20 better weight functions for MePo/MaSh etc.
2012-12-20 blanchet 2012-12-20 merge
2012-12-19 blanchet 2012-12-19 more
2012-12-19 nipkow 2012-12-19 tuned infix table
2012-12-19 blanchet 2012-12-19 crank up default timeout for MaSh ATP learning
2012-12-19 nipkow 2012-12-19 removed odd associativity of ==
2012-12-21 boehmes 2012-12-21 updated SMT certificates
2012-12-21 boehmes 2012-12-21 refined normalization of theorems before giving them to SMT solvers (due to recent changes in rewr_conv, the rewriting of natural-number constants might leave some of them untouched)
2012-12-20 noschinl 2012-12-20 tuned "use build timeout": tuples cannot be concatenated
2012-12-19 krauss 2012-12-19 use build timeout (wall clock time, default: 2h)
2012-12-19 krauss 2012-12-19 removed unused usedir_options
2012-12-19 krauss 2012-12-19 removed obsolete setting tweaks: build -s already sets output correctly
2012-12-19 krauss 2012-12-19 plain init_components calls instead of symlinks
2012-12-19 krauss 2012-12-19 tolerate non-existent ISABELLE_OUTPUT
2012-12-19 krauss 2012-12-19 removed obsolete parameter for contrib dir; hard-coding is not a problem
2012-12-19 krauss 2012-12-19 mira: do not hard-code polyml version
2012-12-18 haftmann 2012-12-18 discontinued legacy antiquotations and styles
2012-12-18 blanchet 2012-12-18 avoid references altogether
2012-12-18 blanchet 2012-12-18 catch all parsing errors