| Tue, 05 Oct 2004 15:30:50 +0200 | paulson | new simprules for abs and for things like a/b<1 | changeset | files |
| Mon, 04 Oct 2004 15:28:03 +0200 | paulson | revised simprules for division | changeset | files |
| Mon, 04 Oct 2004 15:25:28 +0200 | paulson | PDF_VIEWER suggestion | changeset | files |
| Mon, 04 Oct 2004 15:21:42 +0200 | paulson | Abstract for the Isabelle system | changeset | files |
| Sat, 02 Oct 2004 19:22:16 +0200 | aspinall | Add openblock/closeblock to other opengoal/closegoal elements | changeset | files |
| Fri, 01 Oct 2004 11:55:43 +0200 | aspinall | Allow scanning to recover and reconstruct bad input | changeset | files |
| Fri, 01 Oct 2004 11:54:15 +0200 | paulson | patch to "display" | changeset | files |
| Fri, 01 Oct 2004 11:53:50 +0200 | paulson | display-drafts now uses pdf! | changeset | files |