2016-03-03 haftmann 2016-03-03 constructive formulation of factorization
2016-03-02 wenzelm 2016-03-02 support for ML_exception_debugger;
2016-03-02 traytel 2016-03-02 respect qualification when noting theorems in prim(co)rec
2016-03-02 nipkow 2016-03-02 added invariant proofs to AA trees
2016-03-01 wenzelm 2016-03-01 tuned signature;
2016-03-01 wenzelm 2016-03-01 clarified modules;
2016-03-01 wenzelm 2016-03-01 load secure.ML earlier; eliminated obsolete ml_parse.ML; tuned signature;
2016-03-01 wenzelm 2016-03-01 clarified modules;
2016-03-01 wenzelm 2016-03-01 clarified modules;
2016-03-01 wenzelm 2016-03-01 ML debugger support in Pure (again, see 3565c9f407ec);
2016-03-01 wenzelm 2016-03-01 use bootstrap compiler earlier;
2016-03-01 wenzelm 2016-03-01 merged
2016-03-01 wenzelm 2016-03-01 merged
2016-03-01 wenzelm 2016-03-01 removed obsolete chmod: isabelle_process no longer supports writable heaps;
2016-03-01 wenzelm 2016-03-01 redundant -- already provided by Poly/ML toplevel;
2016-03-01 wenzelm 2016-03-01 prefer bash_process;
2016-03-01 wenzelm 2016-03-01 only one nested bash process (NB: OS.System = vfork + exec /bin/sh in RTS is faster than Posix.Process.fork/exec in ML);
2016-03-01 blanchet 2016-03-01 generalized ML function
2016-03-01 haftmann 2016-03-01 tuned bootstrap order to provide type classes in a more sensible order
2016-03-01 wenzelm 2016-03-01 missing file;
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;
2016-02-29 wenzelm 2016-02-29 tuned header;
2016-02-29 wenzelm 2016-02-29 simplified -- always produce heap for RAW, Pure;
2016-02-29 wenzelm 2016-02-29 merged
2016-02-29 wenzelm 2016-02-29 isabelle_process executable no longer supports writable heap images;
2016-02-29 wenzelm 2016-02-29 more careful cleanup;
2016-02-29 wenzelm 2016-02-29 obsolete;
2016-02-29 wenzelm 2016-02-29 tuned;
2016-02-29 wenzelm 2016-02-29 redundant -- already part of Session.finish;
2016-02-29 wenzelm 2016-02-29 proper exit as in Scala version (in contrast to a45ba78abcc1);
2016-02-29 wenzelm 2016-02-29 save heap more directly;
2016-02-29 wenzelm 2016-02-29 clarified modules;
2016-02-29 wenzelm 2016-02-29 clarified ML heap operations;
2016-02-29 immler 2016-02-29 generalized
2016-02-29 paulson 2016-02-29 Merge
2016-02-29 paulson 2016-02-29 Merge
2016-02-29 paulson 2016-02-29 the integral is 0 when otherwise it would be undefined (also for contour integrals)
2016-02-29 wenzelm 2016-02-29 removed junk;
2016-02-28 wenzelm 2016-02-28 merged
2016-02-28 wenzelm 2016-02-28 clarified;
2016-02-28 wenzelm 2016-02-28 support only polyml-5.3.0 and polyml-5.6;
2016-02-28 Manuel Eberl 2016-02-28 Merged
2016-02-28 Manuel Eberl 2016-02-28 Minor adjustments to euclidean rings
2016-02-28 wenzelm 2016-02-28 proper document source;
2016-02-28 wenzelm 2016-02-28 simplified / unified isatest settings;
2016-02-28 wenzelm 2016-02-28 tuned signature;
2016-02-28 wenzelm 2016-02-28 discontinued old 'header';
2016-02-28 wenzelm 2016-02-28 more official "isabelle check_sources";
2016-02-28 wenzelm 2016-02-28 removed pointless "isabelle yxml";
2016-02-28 wenzelm 2016-02-28 moved getopts to Scala;
2016-02-28 wenzelm 2016-02-28 moved getopts to Scala;
2016-02-28 wenzelm 2016-02-28 obsolete;
2016-02-28 wenzelm 2016-02-28 obsolete;
2016-02-28 wenzelm 2016-02-28 moved getopts to Scala;
2016-02-28 wenzelm 2016-02-28 moved getopts to Scala;
2016-02-28 wenzelm 2016-02-28 tuned;
2016-02-28 wenzelm 2016-02-28 just one File.find_files, based on Java 7 Files operations;
2016-02-28 Manuel Eberl 2016-02-28 More efficient Extended Euclidean Algorithm
2016-02-27 wenzelm 2016-02-27 more symbols;
2016-02-27 wenzelm 2016-02-27 symbol interpretation for \<circle>;