| Wed, 08 Feb 2023 08:59:37 +0100 |
rollback
|
file | diff | annotate |
| 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 16:29:53 +0100 |
eliminate use of Thy_Info 15: UnparseC.terms --> terms_in_ctxt, only test/*
|
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 |
| Mon, 30 Jan 2023 09:47:18 +0100 |
cleanup parse #3: final functions inb ParseC
|
file | diff | annotate |
| Tue, 10 Jan 2023 17:07:53 +0100 |
eliminate use of Thy_Info 10: arg. ctxt for Rule.to_string finished
|
file | diff | annotate |
| Thu, 08 Dec 2022 17:55:45 +0100 |
make Minisubplb/400-start-meth-subpbl.sml from Thy_Info
|
file | diff | annotate |
| Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
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, 09 Oct 2022 07:44:22 +0200 |
eliminate term2str in test/*
|
file | diff | annotate |
| Sun, 11 Sep 2022 14:31:15 +0200 |
resolve name clash in get_calc
|
file | diff | annotate |
| Wed, 07 Sep 2022 10:58:12 +0200 |
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 1
|
file | diff | annotate |
| Thu, 04 Aug 2022 12:48:37 +0200 |
polish naming in Rewrite_Order
|
file | diff | annotate |
| Sun, 31 Jul 2022 16:35:33 +0200 |
eliminate global flag Eval.trace_on
|
file | diff | annotate |
| Sat, 30 Jul 2022 16:47:45 +0200 |
eliminate global flag Rewrite.trace_on
|
file | diff | annotate |
| Tue, 21 Jun 2022 16:04:43 +0200 |
rename functions in i-model.sml
|
file | diff | annotate |
| Thu, 26 May 2022 12:44:51 +0200 |
unify parse 6': TermC.parse eliminated, Test_Isac ok
|
file | diff | annotate |
| Mon, 09 Aug 2021 11:19:25 +0200 |
remove TOODOOs
|
file | diff | annotate |
| Tue, 03 Aug 2021 19:16:27 +0200 |
repair cancellation with zero polynomial
|
file | diff | annotate |
| Tue, 27 Jul 2021 11:21:14 +0200 |
revert previous changeset
|
file | diff | annotate |
| Tue, 20 Jul 2021 14:37:56 +0200 |
//reduce the number of TermC.parse*; "//"means: tests broken .
|
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 | base |
| Sun, 18 Jul 2021 16:20:32 +0200 |
eliminate ThmC.numerals_to_Free: Test_Isac_Short.thy works with TOODOO s
|
file | diff | annotate |
| Sat, 17 Jul 2021 14:05:28 +0200 |
replace "-*" by "- *" for numerals "*" in test/*
|
file | diff | annotate |
| Fri, 16 Jul 2021 06:57:34 +0200 |
separate rational-1 /-2.sml
|
file | diff | annotate | base |