| Thu, 21 Aug 2003 16:20:45 +0200 | berghofe | Fixed problem with "code ind" attribute that caused code generator to | changeset | files |
| Thu, 21 Aug 2003 16:18:43 +0200 | berghofe | Added function strong_conn for computing the strongly connected components | changeset | files |
| Thu, 21 Aug 2003 11:41:44 +0200 | paulson | Change from "tracing" to "warning", as requested by David Aspinall | changeset | files |
| Wed, 20 Aug 2003 13:34:17 +0200 | paulson | final tweaks for Isar version | changeset | files |
| Wed, 20 Aug 2003 13:05:22 +0200 | paulson | finished conversion to Isar format | changeset | files |
| Wed, 20 Aug 2003 11:12:48 +0200 | paulson | new example | changeset | files |
| Wed, 20 Aug 2003 11:04:17 +0200 | paulson | new case_tac method | changeset | files |