| 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 |