Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
Wed, 13 May 2020 16:10:22 +0200 |
shift code from Specify to Problem, Method, Test_Tool
|
file | diff | annotate |
Wed, 13 May 2020 11:34:05 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Sun, 10 May 2020 17:26:36 +0200 |
cleanup generate.sml, model.sml
|
file | diff | annotate |
Sat, 02 May 2020 11:36:13 +0200 |
remove Init_Proof, is NOT a tactic
|
file | diff | annotate |
Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
file | diff | annotate |
Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
Wed, 26 Dec 2018 14:24:05 +0100 |
[-Test_Isac] funpack: further replacement ID::type by char string
|
file | diff | annotate |
Fri, 30 Nov 2018 12:27:18 +0100 |
funpack: rename xxx' to xxxX preparing ''xxxX'' (''xxx''' not accepted by funpack)
|
file | diff | annotate |
Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
Mon, 27 Jan 2014 22:26:51 +0100 |
ad 967c8a1eb6b1 (7): removed all code concerned with 'ptyps = Unsynchronized.ref'
|
file | diff | annotate |
Mon, 27 Jan 2014 21:49:27 +0100 |
cleanup, naming: 'KEStore_Elems' in Tests now 'Test_KEStore_Elems', 'store_pbts' now 'add_pbts'
|
file | diff | annotate |
Sun, 26 Jan 2014 01:37:36 +0100 |
ad 967c8a1eb6b1 (2b): for 'ptyps' add functions accessing Theory_Data in parallel to old ones for 'Unsynchronized.ref' in 'test' folder.
|
file | diff | annotate |
Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Wed, 08 Sep 2010 12:10:43 +0200 |
tuned
|
file | diff | annotate |
Mon, 06 Sep 2010 17:07:28 +0200 |
changed argument types for scripts
|
file | diff | annotate |
Mon, 06 Sep 2010 15:53:18 +0200 |
updated Knowledge/Root.thy, plus changes ahead.
|
file | diff | annotate |
Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
Wed, 18 Aug 2010 13:55:23 +0200 |
replaced None-->NONE, Some-->SOME over all files
|
file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |