| Mon, 05 Oct 2020 12:16:16 +0200 |
Isabelle2019->20: adapt to new session requirements
|
file | diff | annotate |
| Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
| Fri, 24 Apr 2020 09:01:48 +0200 |
tuned
|
file | diff | annotate |
| Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
file | diff | annotate |
| Thu, 09 Apr 2020 18:21:09 +0200 |
rearrange code in Rule_Set and Rule
|
file | diff | annotate |
| Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
| Mon, 06 Apr 2020 11:44:36 +0200 |
use "Rule_Set" for shorter identifiers
|
file | diff | annotate |
| Sat, 04 Apr 2020 12:11:32 +0200 |
separate Rule_Set from Rule
|
file | diff | annotate |
| Mon, 10 Feb 2020 17:01:49 +0100 |
replace Prog. in prep_rls by Auto_Prog.gen, which generates Prog. on the fly
|
file | diff | annotate |
| Sun, 09 Feb 2020 16:55:41 +0100 |
cleanup TODO
|
file | diff | annotate |
| Sun, 22 Sep 2019 14:47:35 +0200 |
lucin: shift ListC.thy into ProgLang
|
file | diff | annotate |
| Fri, 13 Sep 2019 18:35:51 +0200 |
lucin: cleanup thys in ProgLang, in particular Aut_Prog.thy
|
file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Thu, 29 Aug 2019 13:52:47 +0200 |
prep. re-organisation of thys in ProgLang
|
file | diff | annotate |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
| Mon, 26 Aug 2019 09:20:07 +0200 |
cleanup Tools.thy, Descript.thy, Atools.thy
|
file | diff | annotate |
| Sat, 24 Aug 2019 13:16:17 +0200 |
remove double of setup
|
file | diff | annotate |
| Thu, 30 May 2019 12:04:55 +0200 |
[-Test_Isac] funpack: switch auto-generated programs to partial_function
|
file | diff | annotate |
| Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
| Thu, 23 Aug 2018 17:20:37 +0200 |
Isabelle2017->18: bypass libisabelle (search libisabelle_DUMMY), Build_Isac.thy OK
|
file | diff | annotate |
| Wed, 04 Apr 2018 12:41:03 +0200 |
clean theory dependencies, finished: Test_Isac ok
|
file | diff | annotate |
| Tue, 03 Apr 2018 17:29:54 +0200 |
clean theory dependencies, partially
|
file | diff | annotate |
| Mon, 26 Mar 2018 07:28:39 +0200 |
Rule: structure pushed to code files
|
file | diff | annotate |
| Thu, 15 Mar 2018 10:17:44 +0100 |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
file | diff | annotate |
| Wed, 14 Feb 2018 12:20:35 +0100 |
separate structure LTools : LANGUAGE_TOOLS
|
file | diff | annotate |
| Tue, 06 Feb 2018 15:20:52 +0100 |
Isabelle2015->17: theory formad changed
|
file | diff | annotate |
| Mon, 04 Aug 2014 17:03:55 +0200 |
CLEANUP since 347cf013dee3 and restored Test_Isac
|
file | diff | annotate |
| Thu, 31 Jul 2014 16:55:22 +0200 |
removed outdated test on thy-hierarchy
|
file | diff | annotate |
| Fri, 13 Jun 2014 10:29:06 +0200 |
last the_generic_context (in fun prep_rls) removed.
|
file | diff | annotate |
| Mon, 17 Mar 2014 15:20:15 +0100 |
re-establish tests for thehier
|
file | diff | annotate |