Sat, 03 Apr 2021 15:27:52 +0200 |
review and update directories in Build_Isac
|
file | diff | annotate |
Fri, 22 Jan 2021 14:56:44 +0100 |
step 5.4: clarify dependencies of BridgeJEdit.thy
|
file | diff | annotate |
Mon, 05 Oct 2020 12:16:16 +0200 |
Isabelle2019->20: adapt to new session requirements
|
file | diff | annotate |
Sun, 02 Aug 2020 12:32:34 +0200 |
shift code from Test_Parse_Isac to src/
|
file | diff | annotate |
Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
Mon, 11 May 2020 12:25:52 +0200 |
introduce Pre_Conds.T
|
file | diff | annotate |
Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
Mon, 04 May 2020 13:27:45 +0200 |
remove unused code
|
file | diff | annotate |
Wed, 29 Apr 2020 09:03:01 +0200 |
comments on relation between files.
|
file | diff | annotate |
Tue, 28 Apr 2020 19:39:06 +0200 |
move code from struct.Celem to appropriate struct.s
|
file | diff | annotate |
Wed, 22 Apr 2020 16:01:53 +0200 |
use "Check_Unique" for renaming identifiers
|
file | diff | annotate |
Wed, 22 Apr 2020 11:23:30 +0200 |
rename file according to struct.; start renaming with "Spec"
|
file | diff | annotate |
Wed, 22 Apr 2020 11:06:48 +0200 |
shift Unsynchronized.ref for tracing to respect.struct.
|
file | diff | annotate |
Mon, 20 Apr 2020 15:54:19 +0200 |
separate Check_Unique, an exercise in higher order funs
|
file | diff | annotate |
Sun, 19 Apr 2020 12:22:37 +0200 |
rename KEStore to Know_Store, replace respect.part of Celem with Celem1
|
file | diff | annotate |
Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
file | diff | annotate |
Wed, 15 Apr 2020 10:07:43 +0200 |
use "ThmC" for renaming identifiers
|
file | diff | annotate |
Tue, 14 Apr 2020 15:56:15 +0200 |
use "ThmC_Def" for renaming identifiers
|
file | diff | annotate |
Tue, 14 Apr 2020 12:39:26 +0200 |
reorganise struct. ThmC, part 3 end
|
file | diff | annotate |
Fri, 10 Apr 2020 15:02:50 +0200 |
rename directory CalcElements to BaseDefinitions
|
file | diff | annotate |
Fri, 10 Apr 2020 14:46:55 +0200 |
rearrange code for ThmC
|
file | diff | annotate |
Thu, 09 Apr 2020 11:21:53 +0200 |
separate struct. ThmC, Error_Fill_Def; unite error-pattern and fill-pattern
|
file | diff | annotate |
Wed, 08 Apr 2020 13:21:19 +0200 |
separate struct Exec_Def
|
file | diff | annotate |
Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
Sat, 04 Apr 2020 12:11:32 +0200 |
separate Rule_Set from Rule
|
file | diff | annotate |
Wed, 01 Apr 2020 10:24:13 +0200 |
renaming, cleanup
|
file | diff | annotate |
Mon, 23 Mar 2020 13:31:29 +0100 |
separate structure Detail_Step
|
file | diff | annotate |
Mon, 24 Feb 2020 17:51:26 +0100 |
prep.: add test-code and test, cleanup
|
file | diff | annotate |
Sun, 09 Feb 2020 16:55:41 +0100 |
cleanup TODO
|
file | diff | annotate |
Sat, 08 Feb 2020 12:41:27 +0100 |
LI: prep. test to re-build locate_input_term
|
file | diff | annotate |
Mon, 20 Jan 2020 14:38:46 +0100 |
determine structure for TODO.thy
|
file | diff | annotate |
Mon, 20 Jan 2020 11:11:56 +0100 |
lucin: cleanup Istate (doubled code in Istate_Def)
|
file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
Wed, 06 Nov 2019 18:34:29 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
Sat, 26 Oct 2019 13:03:16 +0200 |
separate common base for Specify and Interpret
|
file | diff | annotate |
Wed, 02 Oct 2019 16:02:17 +0200 |
lucin: use #> in Program in analogy to #> in Isabelle/ML
|
file | diff | annotate |
Thu, 26 Sep 2019 17:47:10 +0200 |
adaptations for paper lucin-isa.tex
|
file | diff | annotate |
Sun, 22 Sep 2019 16:52:14 +0200 |
adopt new files of ProgLang in test/..
|
file | diff | annotate |
Sun, 22 Sep 2019 15:15:37 +0200 |
lucin: update comments on structure of import's and ML_file's
|
file | diff | annotate |
Tue, 10 Sep 2019 17:15:41 +0200 |
Isabelle2018->19: unclarified "Exception- Size raised" in Build_Thydata.thy
|
file | diff | annotate |
Tue, 10 Sep 2019 16:13:28 +0200 |
Isabelle2018->19: rm libisabelle finished, retain interface.sml
|
file | diff | annotate |
Tue, 10 Sep 2019 10:47:18 +0200 |
Isabelle2018->19: rm libisabelle, not available for Isabelle2019
|
file | diff | annotate |
Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate |
Tue, 27 Aug 2019 15:31:45 +0200 |
[-Test_Isac ONLY biegelinie-1.sml] assign Input_Descript to Specify/-phase
|
file | diff | annotate |
Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Fri, 23 Aug 2019 17:23:25 +0200 |
remove Delete.thy
|
file | diff | annotate |
Fri, 23 Aug 2019 16:36:47 +0200 |
collect all defitions for both, ProgLang/ & Interpret/
|
file | diff | annotate |
Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
Fri, 09 Aug 2019 14:04:13 +0200 |
separater structure ContextC
|
file | diff | annotate |
Thu, 11 Jul 2019 16:39:46 +0200 |
add update for istate, ctxt to Ctree
|
file | diff | annotate |
Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
Mon, 31 Dec 2018 14:49:16 +0100 |
[-Test_Isac] add an overlooked structure
|
file | diff | annotate |
Fri, 14 Dec 2018 19:12:30 +0100 |
[-Test_Isac] funpack: prep.no.3 replace ID::type by char string
|
file | diff | annotate |
Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
Wed, 05 Sep 2018 15:34:39 +0200 |
Isabelle2017->18: use libisabelle as separate session
|
file | diff | annotate |
Tue, 04 Sep 2018 14:50:30 +0200 |
Isabelle2017->18: add libisabelle, PROBLEM with session management:
|
file | diff | annotate |
Thu, 23 Aug 2018 17:23:11 +0200 |
/----- finish update Isabelle2017 --> Isabelle2018
|
file | diff | annotate |