| Sun, 22 May 2011 14:51:01 +0200 | blanchet | added support for remote Waldmeister | changeset | files |
| Sun, 22 May 2011 14:50:32 +0200 | blanchet | added Waldmeister | changeset | files |
| Sun, 22 May 2011 14:49:35 +0200 | blanchet | reorganized ATP formats a little bit | changeset | files |
| Mon, 06 Jun 2011 22:02:34 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 06 Jun 2011 19:13:48 +0200 | wenzelm | removed odd remains of low-level session management; | changeset | files |
| Mon, 06 Jun 2011 19:08:46 +0200 | wenzelm | moved incr_boundvars; | changeset | files |
| Mon, 06 Jun 2011 18:05:38 +0200 | wenzelm | modernized and re-unified Thm.transfer; | changeset | files |
| Mon, 06 Jun 2011 17:51:14 +0200 | wenzelm | removed obsolete material (superseded by implementation manual); | changeset | files |