Wed, 21 Dec 2022 18:48:23 +0100 |
make Minisubplb/710-interSteps-short.sml independent from Thy_Info
|
file | diff | annotate |
Sun, 19 Jun 2022 16:55:13 +0200 |
shifts tests to VSCode_Example.thy, vscode-example.sml
|
file | diff | annotate |
Sat, 18 Jun 2022 12:34:29 +0200 |
adapth thy to Demo_Example
|
file | diff | annotate |
Fri, 07 May 2021 13:23:24 +0200 |
discontiune writing to file, keep XML hierarchies of MethodC and Model_Pattern,
|
file | diff | annotate |
Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
file | diff | annotate |
Mon, 19 Apr 2021 15:02:00 +0200 |
long identifiers for occurences in test/../termC.sml
|
file | diff | annotate |
Wed, 03 Feb 2021 16:39:44 +0100 |
Isac's MethodC not shadowing Isabelle's Method
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
Wed, 13 May 2020 12:14:49 +0200 |
Test_Isac_Short repaired
|
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 |
Tue, 28 Apr 2020 19:39:06 +0200 |
move code from struct.Celem to appropriate struct.s
|
file | diff | annotate |
Tue, 28 Apr 2020 17:50:18 +0200 |
separate struct.Thy_Present, rename Thy_Html to Thy_Write
|
file | diff | annotate |
Wed, 22 Apr 2020 14:36:27 +0200 |
use "Spec", "Problem", "Method" for renaming identifiers
|
file | diff | annotate |
Tue, 21 Apr 2020 15:42:50 +0200 |
replace Celem. with new struct.s in BaseDefinitions/
|
file | diff | annotate |
Tue, 21 Apr 2020 12:26:08 +0200 |
use "Store" for renaming identifiers
|
file | diff | annotate |
Sun, 19 Apr 2020 16:17:27 +0200 |
rename Celem1 to Store
|
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 18:00:58 +0200 |
collect code in ThyC
|
file | diff | annotate |
Wed, 15 Apr 2020 16:46:41 +0200 |
use "ThyC" for renaming identifiers finished, cleanup
|
file | diff | annotate |
Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
Wed, 06 Nov 2019 18:34:29 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate | base |