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

old Proof General patches;
2011-01-27, by wenzelm
Added tag isa2011-test3 for changeset 55a45051b220
2011-01-27, by wenzelm
Tuned definition of sdiv.
2011-01-27, by berghofe
CRITICAL markup for critical poking with unsynchronized references;
2011-01-27, by wenzelm
Replaced smod by standard mod operator to reflect actual behaviour
2011-01-26, by berghofe
cancel document execution before editing, to improve reactivity on systems with few cores;
2011-01-27, by wenzelm
tuned isatest settings (for Poly/ML SVN 1278);
2011-01-25, by wenzelm
merged
2011-01-25, by wenzelm
do not restore old files on startup, which is potentially slow due to automatic rechecking;
2011-01-25, by wenzelm
singleton (sequential) execution, to avoid race conditions in theory loader state (e.g. when multiple independent theories import the same theory);
2011-01-25, by wenzelm
workaround for odd x86_64 problem in Poly/ML 5.4.0 (actually SVN 1151?), which causes unexpected nontermination of Isabelle/Scala document editing;
2011-01-25, by wenzelm
improved README -- Isabelle symbols and fonts;
2011-01-24, by wenzelm
delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
2011-01-24, by wenzelm
do not overwrite proof-shell-quit-timeout by default (final PG 4.1 supposedly gets it right);
2011-01-23, by wenzelm
Added tag isa2011-test2 for changeset 237328506a42
2011-01-23, by wenzelm
Documented unused_thms
2011-01-23, by berghofe
JVM/Windows: more robust treatment of unicode in file names;
2011-01-21, by wenzelm
java/scala: default to UTF-8;
2011-01-21, by wenzelm
updated Named_Target.init;
2011-01-21, by wenzelm
made SML/NJ happy;
2011-01-21, by wenzelm
Word: direct conversion wrt. LargeInt to bypass exception Overflow;
2011-01-20, by wenzelm
fixing list_to_set_comprehension simproc
2011-01-19, by bulwahn
more release checks;
2011-01-19, by wenzelm
potentially more robust utf8 handling (cf. 3e4bb6e7c3ca);
2011-01-19, by wenzelm
clasrified classpath: add in front in accordance to librarypath (cf. b7cd80330a16), for slightly more robustness;
2011-01-19, by wenzelm
added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;
2011-01-19, by wenzelm
merged
2011-01-19, by wenzelm
tuned;
2011-01-19, by wenzelm
Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow;
2011-01-19, by wenzelm
isabelle jedit as alternative;
2011-01-18, by wenzelm

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

isabelle