| Sat, 04 Feb 2023 17:00:25 +0100 |
eliminate use of Thy_Info 22: eliminate UnparseC.term, rename "_in_ctxt" -> ""
|
file | diff | annotate |
| Tue, 31 Jan 2023 12:29:42 +0100 |
eliminate use of Thy_Info 13: eliminate UnparseC.term in test/
|
file | diff | annotate |
| Tue, 31 Jan 2023 10:49:17 +0100 |
cleanup parse #6: eliminate TermC.parseNEW
|
file | diff | annotate |
| Sun, 23 Oct 2022 17:21:04 +0200 |
follow up 6a: eliminate Thy_Info.get_theory for Minisubplb/100-init-rootpbl.sml
|
file | diff | annotate |
| Thu, 20 Oct 2022 10:23:38 +0200 |
followup 6a: tests run from @{context} without sessions
|
file | diff | annotate |
| Sun, 11 Sep 2022 14:31:15 +0200 |
resolve name clash in get_calc
|
file | diff | annotate |
| Sat, 30 Jul 2022 16:47:45 +0200 |
eliminate global flag Rewrite.trace_on
|
file | diff | annotate |
| Fri, 27 May 2022 15:12:54 +0200 |
replace literals with constants
|
file | diff | annotate |
| Tue, 24 May 2022 16:47:31 +0200 |
unify parse 5': improved get_ctxt for appendFormula and CAS-cmd
|
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 |
| Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
| Fri, 15 May 2020 11:46:43 +0200 |
shift code from Specification to appropriate locations
|
file | diff | annotate |
| Fri, 01 May 2020 15:28:40 +0200 |
separate Solve_Step.check, repair ALL of Test_Isac_Short
|
file | diff | annotate |
| Wed, 22 Apr 2020 14:36:27 +0200 |
use "Spec", "Problem", "Method" for renaming identifiers
|
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 |
| Thu, 09 Apr 2020 12:03:14 +0200 |
add test files according to new struct.s
|
file | diff | annotate |
| Sat, 08 Feb 2020 17:00:37 +0100 |
replace Chead.calcstate' by Calc.T once
|
file | diff | annotate |
| Sat, 08 Feb 2020 16:33:27 +0100 |
step separated wrt Solve .. Specify
|
file | diff | annotate |
| Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
| Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
| Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.sml
|
file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
| Fri, 09 Sep 2016 10:44:05 +0200 |
insertion sort: resolve type clash
|
file | diff | annotate |
| Thu, 08 Sep 2016 14:58:48 +0200 |
insertion sort: method for stepwise construction
|
file | diff | annotate |
| Thu, 08 Sep 2016 13:28:36 +0200 |
insertion sort: changed delimiter
|
file | diff | annotate |
| Sun, 28 Aug 2016 12:32:57 +0200 |
insertion sort with CAS-cmd
|
file | diff | annotate |
| Sat, 27 Aug 2016 17:13:10 +0200 |
insertion sort RUNs with math-engine
|
file | diff | annotate |
| Fri, 26 Aug 2016 12:25:03 +0200 |
separate 'type xlist' for Lucas-Interpretation
|
file | diff | annotate |
| Fri, 26 Aug 2016 12:02:43 +0200 |
tuned
|
file | diff | annotate |
| Thu, 25 Aug 2016 14:57:58 +0200 |
insertion sort RUNs by rewriting
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Fri, 29 Oct 2010 15:54:16 +0200 |
trials on scala with inssort
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |