| Wed, 08 Sep 2010 18:00:37 +0200 | wenzelm | merged | changeset | files |
| Wed, 08 Sep 2010 16:50:24 +0200 | bulwahn | restricting invocation only if PROLOG_HOME is set | changeset | files |
| Wed, 08 Sep 2010 18:00:06 +0200 | wenzelm | tuned proofs (based on fancy gutter icons in Isabelle/jEdit); | changeset | files |
| Wed, 08 Sep 2010 16:01:06 +0200 | blanchet | merge | changeset | files |
| Wed, 08 Sep 2010 15:57:50 +0200 | blanchet | remove "safe" (as suggested by Tobias) and added "arith" to "try" | changeset | files |
| Mon, 06 Sep 2010 17:51:26 +0200 | blanchet | remove "minipick" (the toy version of Nitpick) and some tests; | changeset | files |
| Mon, 06 Sep 2010 16:50:29 +0200 | blanchet | use Future.fork rather than Thread.fork, so that the thread is part of the global thread management | changeset | files |
| Mon, 06 Sep 2010 13:48:10 +0200 | blanchet | fix editor | changeset | files |