| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | handle TPTP definitions as definitions in Nitpick rather than as axioms | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | get rid of old parser, hopefully for good | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | fix handling of atomizable conjectures without a top-level "Trueprop" (e.g. "x == (y::nat)") | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | run Mirabelle in quick and dirty mode | changeset | files |
| Tue, 24 Apr 2012 09:09:55 +0200 | nipkow | doc update | changeset | files |
| Mon, 23 Apr 2012 23:55:06 +0200 | wenzelm | scrollable text; | changeset | files |
| Mon, 23 Apr 2012 23:50:27 +0200 | wenzelm | bundle Cygwin-Terminal.bat; | changeset | files |
| Mon, 23 Apr 2012 23:38:35 +0200 | wenzelm | basic Cygwin-Terminal for main Isabelle directory; | changeset | files |