Wed, 19 Oct 2022 10:43:04 +0200 |
eliminate term2str in src, Prog_Tac.*_adapt_to_type
|
file | diff | annotate |
Sat, 24 Apr 2021 15:59:54 +0200 |
purge XML output from pbl- and met-hierarchies, finished
|
file | diff | annotate |
Thu, 22 Apr 2021 21:34:20 +0200 |
purge XML output from pbl- and met-hierarchies, coarse part
|
file | diff | annotate |
Thu, 22 Apr 2021 16:49:41 +0200 |
purge code for input to Kernel
|
file | diff | annotate |
Tue, 20 Apr 2021 17:10:02 +0200 |
remove de/encode for ^^^
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Wed, 22 Apr 2020 16:53:03 +0200 |
cleanup Celem
|
file | diff | annotate |
Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
Fri, 10 Apr 2020 14:46:55 +0200 |
rearrange code for ThmC
|
file | diff | annotate |
Thu, 09 Apr 2020 18:21:09 +0200 |
rearrange code in Rule_Set and Rule
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Sat, 30 Nov 2019 17:03:49 +0100 |
lucin: code cleanup
|
file | diff | annotate |
Thu, 12 Sep 2019 14:42:53 +0200 |
/----- finish update Isabelle2018 --> Isabelle2019 for Test_Isac.thy
|
file | diff | annotate |
Wed, 11 Sep 2019 18:02:35 +0200 |
Isabelle2018->19: rm libisabelle -- retain max.of interface
|
file | diff | annotate |
Tue, 10 Sep 2019 10:47:18 +0200 |
Isabelle2018->19: rm libisabelle, not available for Isabelle2019
|
file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate | base |