Sun, 09 Oct 2022 07:44:22 +0200 |
eliminate term2str in test/*
|
file | diff | annotate |
Sat, 08 Oct 2022 11:40:48 +0200 |
follow up 5: cleanup
|
file | diff | annotate |
Fri, 07 Oct 2022 20:46:48 +0200 |
follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
Mon, 26 Sep 2022 10:57:53 +0200 |
follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
Tue, 21 Jun 2022 13:51:04 +0200 |
tuned
|
file | diff | annotate |
Tue, 21 Jun 2022 12:41:52 +0200 |
rename functions in o-model.sml finish
|
file | diff | annotate |
Mon, 20 Jun 2022 18:43:51 +0200 |
merged
|
file | diff | annotate |
Mon, 20 Jun 2022 17:42:49 +0200 |
intermed 4
|
file | diff | annotate |
Mon, 20 Jun 2022 17:36:25 +0200 |
intermed 3
|
file | diff | annotate |
Mon, 20 Jun 2022 16:58:32 +0200 |
intermed 1
|
file | diff | annotate |
Mon, 20 Jun 2022 18:37:54 +0200 |
rename functions in o-model.sml
|
file | diff | annotate |
Fri, 27 May 2022 12:07:55 +0200 |
type check at init of Problem appears correct
|
file | diff | annotate |
Mon, 19 Jul 2021 17:29:35 +0200 |
introduce ALL valid const_name in test/*
|
file | diff | annotate |
Sun, 18 Jul 2021 18:15:27 +0200 |
merged
|
file | diff | annotate |
Thu, 15 Jul 2021 14:10:18 +0200 |
ewrite.sml + poly.sml + rational.sml: ok, repair rewrite-orders
|
file | diff | annotate |
Mon, 21 Jun 2021 15:36:09 +0200 |
more antiquotations for Isabelle/HOL consts/types, without change of semantics;
|
file | diff | annotate |
Fri, 07 May 2021 18:12:51 +0200 |
* WN: simplify const names like "is'_expanded"
|
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, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
Tue, 19 May 2020 12:33:35 +0200 |
adapt test/../Specify/* to new files in src/../Specify/*
|
file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
Thu, 07 May 2020 14:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
Thu, 07 May 2020 11:42:19 +0200 |
proper naming for Problem_Pattern (+ show old names)
|
file | diff | annotate |
Thu, 07 May 2020 11:04:02 +0200 |
test for O_Model.init (was prep_ori)
|
file | diff | annotate |