| 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 |
| Mon, 23 Apr 2012 22:26:22 +0200 | wenzelm | moved to ~isatest/.bashrc to accomodate AFP; | changeset | files |
| Mon, 23 Apr 2012 22:22:57 +0200 | wenzelm | merged | changeset | files |
| Mon, 23 Apr 2012 21:46:52 +0200 | nipkow | merged | changeset | files |
| Mon, 23 Apr 2012 21:46:37 +0200 | nipkow | doc update | changeset | files |
| Mon, 23 Apr 2012 21:31:52 +0200 | krauss | NEWS | changeset | files |
| Mon, 23 Apr 2012 21:53:43 +0200 | wenzelm | typedef with implicit set definition is considered legacy; | changeset | files |
| Mon, 23 Apr 2012 21:44:36 +0200 | wenzelm | more standard method setup; | changeset | files |
| Mon, 23 Apr 2012 18:42:05 +0200 | kuncar | CONTRIBUTORS | changeset | files |