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 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

Added tag Isabelle2012 for changeset 21c42b095c84
2012-05-22, by wenzelm
try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09); Isabelle2012
2012-05-20, by wenzelm
Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
2012-05-17, by wenzelm
some message;
2012-05-17, by wenzelm
tuned error -- reduce potential for confusion in a higher-level context, e.g. partial checking of theory sub-graph;
2012-05-17, by wenzelm
Fixed disambiguation of names (cf. 5759ecd5c905)
2012-05-11, by berghofe
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
accomodate scala-2.10.0-M3 with its extra jar;
2012-05-02, by wenzelm
more robust wrt. spaces in directory names;
2012-05-02, by wenzelm
updated headers;
2012-05-02, by wenzelm
back to "Tools" in conformance with toplevel Isabelle layout (cf. 3fabf352243e, 15f4309bb9eb);
2012-05-02, by wenzelm
export more symbols
2012-04-30, by blanchet
merged
2012-04-30, by bulwahn
adding configuration to pass options to the ghc call in quickcheck[narrowing]
2012-04-30, by bulwahn
provide [[record_codegen]] option for skipping codegen setup for records
2012-04-30, by Gerwin Klein
making sorted_list_of_set executable
2012-04-30, by bulwahn
removing obsolete setup for sets now that sets are executable
2012-04-30, by bulwahn
update references in HOLCF README
2012-04-30, by huffman
basic setup for self-extracting 7zip installer;
2012-04-29, by wenzelm
merged
2012-04-29, by krauss
added test case for dependency graph (cf. 2d48bf79b725)
2012-04-29, by krauss
dependency graphs: fixed direction of edges
2012-04-29, by krauss
more CHECKLIST;
2012-04-29, by wenzelm
more windows-friendly presentation of main text files;
2012-04-29, by wenzelm
split into demo and competitive version
2012-04-29, by blanchet
Sledgehammer can do it
2012-04-29, by blanchet
compact nat literals
2012-04-29, by haftmann
some re-ordering;
2012-04-28, by wenzelm
some coverage of isabelle env;
2012-04-28, by wenzelm
updated system manual for release;
2012-04-28, by wenzelm
tuned;
2012-04-28, by wenzelm

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

isabelle