isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

merged
2012-05-10, by wenzelm
file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation;
2012-05-10, by wenzelm
prefer absolute paths, to allow launching from a different context (e.g. via file associations);
2012-05-10, by wenzelm
tweaked Inductive.prove_eqs to allow degenerate definition like "inductive TRUE where TRUE";
2012-05-10, by wenzelm
allow spaces in target directory;
2012-05-09, by wenzelm
Added tag Isabelle2012-RC2 for changeset 1636ff4c6243
2012-05-07, by wenzelm
init Cygwin after unpacking;
2012-05-07, by wenzelm
tuned proofs;
2012-05-06, by wenzelm
more accurate ROOT.ML;
2012-05-06, by wenzelm
prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;
2012-05-06, by wenzelm
some highlights of Isabelle2012;
2012-05-05, by wenzelm
refrain from SIGHUP handling (cf. 5f629ee2502b), which does not work on Cygwin and appears to be redundant anyway (no extra output produced within pipe);
2012-05-04, by wenzelm
some attempts to make critical errors fit on screen;
2012-05-04, by wenzelm
more NEWS;
2012-05-03, by wenzelm
backout 9579464d00f9 to avoid odd crash of polyml-5.2.1 (according to Jasmin, this change is not essential for now);
2012-05-03, by wenzelm
Added tag Isabelle2012-RC1 for changeset ec5d54029664
2012-05-02, by wenzelm
clarified;
2012-05-02, by wenzelm
makedist for release;
2012-05-02, by wenzelm
merged
2012-05-02, by wenzelm
more contributors;
2012-05-02, by wenzelm
tuned latex sources;
2012-05-02, by wenzelm
more CHECKLIST;
2012-05-02, by wenzelm
save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
2012-05-02, by wenzelm
some re-ordering;
2012-05-02, by wenzelm
some re-ordering;
2012-05-02, by wenzelm
tuned spelling;
2012-05-02, by wenzelm
resolved maxidx bug
2012-05-02, by kuncar
documentation of the Lifting package on the ML level & tuned
2012-05-02, by kuncar
edit NEWS items for transfer/lifting
2012-05-02, by huffman
avoid interference of markup for literal tokens, which may contain slightly odd \<^bsub> \<^esub> counted as pseudo-markup (especially relevant for HTML output, e.g. of thm power3_eq_cube);
2012-05-02, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle