| Mon, 05 Mar 2007 22:23:23 +0100 | kleing | adjust paths | changeset | files |
| Mon, 05 Mar 2007 22:12:20 +0100 | kleing | moved all isatest/cron job related files to own directory | changeset | files |
| Mon, 05 Mar 2007 10:14:32 +0100 | gagern | AnnoMaLy related files, as discussed in mails with Gerwin Klein | changeset | files |
| Sat, 03 Mar 2007 12:56:06 +0100 | aspinall | Simplify print mode. Support setproverflag. | changeset | files |
| Sat, 03 Mar 2007 12:43:16 +0100 | aspinall | Update test for new parse result | changeset | files |
| Sat, 03 Mar 2007 12:42:39 +0100 | aspinall | Add setproverflag, to replace other flag controls | changeset | files |
| Sat, 03 Mar 2007 12:42:04 +0100 | aspinall | Add objtypes to openblock/closeblock and theory items (can be used to control folding). | changeset | files |