| Fri, 27 Apr 2012 22:36:27 +0200 | blanchet | use Nitpick as an oracle for finite problems | changeset | files |
| Fri, 27 Apr 2012 22:36:27 +0200 | blanchet | add extensionality to first-order provers | changeset | files |
| Fri, 27 Apr 2012 22:36:27 +0200 | blanchet | avoid duplicate helpers | changeset | files |
| Fri, 27 Apr 2012 21:24:30 +0200 | wenzelm | mention tools and packages earlier; | changeset | files |
| Fri, 27 Apr 2012 21:17:35 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 27 Apr 2012 21:13:55 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 27 Apr 2012 21:02:34 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 27 Apr 2012 20:57:40 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 27 Apr 2012 20:27:40 +0200 | wenzelm | merged | changeset | files |
| Fri, 27 Apr 2012 17:14:13 +0200 | huffman | allow transfer tactic to leave extra unsolved subgoals if transfer rules are missing | changeset | files |
| Fri, 27 Apr 2012 17:06:36 +0200 | kuncar | documentation for the Lifting package in Isar-ref | changeset | files |
| Fri, 27 Apr 2012 20:25:55 +0200 | wenzelm | added darwin targets; | changeset | files |
| Fri, 27 Apr 2012 20:24:35 +0200 | wenzelm | chmod -x; | changeset | files |
| Fri, 27 Apr 2012 20:10:09 +0200 | wenzelm | multi-platform build script and component settings; | changeset | files |
| Fri, 27 Apr 2012 19:54:05 +0200 | wenzelm | print errors on stderr; | changeset | files |