Mon, 01 Jan 2024 11:31:16 +0100 | 8fa678b678e8 | default | changeset | changelog | files |
Thu, 18 Nov 2010 17:46:22 +0100 | 98c64024dcc9 | isac-update-Isa09-2 | changeset | changelog | files |
Tue, 28 Sep 2010 13:09:19 +0200 | 720acd7764d2 | the isac plugin for jEdit | changeset | changelog | files |
Thu, 12 Aug 2010 15:03:34 +0200 | 20e3616b2d9c | isac-from-Isabelle2009-2 | changeset | changelog | files |
Thu, 05 Aug 2010 14:17:16 +0200 | 7d2a6a18c274 | latex-isac-doc | changeset | changelog | files |
Fri, 23 Nov 2012 13:09:47 +0100 | a1f35fdd3fc5 | decompose-isar | changeset | changelog | files |
Wed, 07 Dec 2011 16:18:40 +0100 | 0b8b4aefddce | jedit-isac | changeset | changelog | files |