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

further attempts to simplify/robustify Swing_Thread.now, to avoid spurious physical race conditions on Java 6 / Mac OS X;
2012-05-25, by wenzelm
ignore empty messages even on tty, e.g. relevant for Isabelle_System.bash_output err output;
2012-05-25, by wenzelm
discontinued obsolete Cygwin module;
2012-05-24, by wenzelm
eliminated unused Cygwin download;
2012-05-24, by wenzelm
simplified Cygwin root: warm start via env, cold start via property, no registry magic;
2012-05-24, by wenzelm
include scala-compiler.jar in basic Isabelle/Scala environment, to make Isabelle/jEdit console work with scala-2.10.0-M3;
2012-05-24, by wenzelm
tuned proofs;
2012-05-24, by wenzelm
less warning in scala-2.10.0-M3;
2012-05-24, by wenzelm
avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0;
2012-05-24, by wenzelm
make Nitpick's handling of definitions more robust in the face of formulas that don't have the expected format (needed for soundness, cf. RNG100+1)
2012-05-24, by blanchet
fixed soundness bug in Nitpick related to unfolding -- the unfolding criterion must at least as strict when looking at a definitional axiom as elsewhere, otherwise we end up unfolding a constant's definition in its own definition, yielding a trivial equality
2012-05-24, by blanchet
more robust Swing_Thread.now: allow body to fail;
2012-05-24, by wenzelm
tuned proofs;
2012-05-24, by wenzelm
reparse descendants after update of imports, e.g. required for 'primrec' (line 17 of "src/HOL/Power.thy");
2012-05-24, by wenzelm
merged
2012-05-24, by wenzelm

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

isabelle