Mercurial Mercurial > wneuper > isa / summary
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
 
descriptionmath-engine for Isabelle/Isac written in Isabelle/SML
ownerwalther.neuper@jku.at
last changeMon, 01 Jan 2024 11:31:16 +0100
changes
Mon, 01 Jan 2024 11:31:16 +0100 wneuper Doc/Specify_Phase 4: start use antiquotations from isar-ref default tip changeset | files
Sun, 31 Dec 2023 15:13:39 +0100 wneuper Doc/Specify_Phase 3: use antiquotations from Lucas_Interpreter changeset | files
Sun, 31 Dec 2023 09:42:27 +0100 wneuper Doc/Specify_Phase 2: copy finished changeset | files
Sat, 30 Dec 2023 17:52:03 +0100 wneuper Doc/Specify_Phase 1: first part copied from ThEdu'23 paper changeset | files
Sat, 30 Dec 2023 16:49:50 +0100 wneuper bind Doc/Lucas_Interpreter and Doc/Specify_Phase into Test_Isac changeset | files
Sat, 30 Dec 2023 07:07:58 +0100 wneuper update Lucas_Interpreter.thy changeset | files
Sat, 30 Dec 2023 06:22:52 +0100 wneuper more TODO changeset | files
Mon, 11 Dec 2023 17:26:30 +0100 wneuper eliminate the intermediate *_POS changeset | files
Mon, 11 Dec 2023 16:18:42 +0100 wneuper repair settings ISABELLE_ISAC_TEST changeset | files
Mon, 11 Dec 2023 16:12:53 +0100 wneuper PIDE turn 15: I_Model.T(_POS) stores Position.T for Specification changeset | files
...
tags
Mon, 08 Mar 2021 08:41:45 +0100 isabisac20 changeset | changelog | files
Wed, 23 Sep 2020 14:54:38 +0200 isabisac19 changeset | changelog | files
Tue, 03 Sep 2019 15:24:24 +0200 isabisac18 changeset | changelog | files
Wed, 22 Aug 2018 12:47:25 +0200 isabisac17 changeset | changelog | files
Wed, 31 May 2017 14:58:38 +0200 Isac2015 changeset | changelog | files
Sat, 05 Dec 2015 14:26:29 +0100 Isabelle2014/Isac changeset | changelog | files
Thu, 27 Jan 2011 16:31:03 +0100 isa2011-test3 changeset | changelog | files
Sun, 23 Jan 2011 01:03:42 +0100 isa2011-test2 changeset | changelog | files
Mon, 17 Jan 2011 22:57:17 +0100 isa2011-test1 changeset | changelog | files
Mon, 21 Jun 2010 11:24:19 +0200 Isabelle2009-2 changeset | changelog | files
...
bookmarks
...
branches
Mon, 01 Jan 2024 11:31:16 +0100 8fa678b678e8 default 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
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
...
wneuper/isa