| Thu, 15 Mar 2018 12:42:04 +0100 |
Walther Neuper |
separate structure Celem: CALC_ELEMENT, finished on src/
|
changeset |
files
|
| Thu, 15 Mar 2018 10:17:44 +0100 |
Walther Neuper |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
changeset |
files
|
| Tue, 13 Mar 2018 15:04:27 +0100 |
Walther Neuper |
delete outdated tests and unused funs
|
changeset |
files
|
| Tue, 13 Mar 2018 14:41:02 +0100 |
Walther Neuper |
TermC: clean test files, Test_Isac OK
|
changeset |
files
|
| Tue, 13 Mar 2018 10:46:34 +0100 |
Walther Neuper |
TermC: num_str already required in ListC.thy, thus not shifted to Calc.
|
changeset |
files
|
| Tue, 13 Mar 2018 10:19:55 +0100 |
Walther Neuper |
TermC: gather Calc.funs
|
changeset |
files
|
| Tue, 13 Mar 2018 09:09:14 +0100 |
Walther Neuper |
TermC: num_str was lost; re-established more than necessary; Test_Isac works
|
changeset |
files
|
| Sat, 10 Mar 2018 17:20:15 +0100 |
Walther Neuper |
TermC: clean tests, partially
|
changeset |
files
|
| Thu, 08 Mar 2018 12:30:46 +0100 |
Walther Neuper |
TermC: prep. comparing tests isabisac <--> isabisac15
|
changeset |
files
|
| Thu, 08 Mar 2018 08:04:04 +0100 |
Walther Neuper |
these "Pure" are necessary, on of the others caused "Isac.Pure"
|
changeset |
files
|
| Thu, 08 Mar 2018 07:52:06 +0100 |
Walther Neuper |
TermC: error caused by broken test shows: get_theory "Pure" ...
|
changeset |
files
|
| Thu, 08 Mar 2018 07:28:17 +0100 |
Walther Neuper |
TermC: push struct to tests, 3 broken and collected in Test_Isac.
|
changeset |
files
|
| Wed, 07 Mar 2018 14:20:33 +0100 |
Walther Neuper |
TermC: clean source file
|
changeset |
files
|
| Wed, 07 Mar 2018 13:15:21 +0100 |
Walther Neuper |
TermC: clean source file, partially
|
changeset |
files
|
| Wed, 07 Mar 2018 13:04:44 +0100 |
Walther Neuper |
TermC: clean source file, partially
|
changeset |
files
|
| Fri, 02 Mar 2018 16:36:14 +0100 |
Walther Neuper |
tuned
|
changeset |
files
|
| Fri, 02 Mar 2018 16:19:02 +0100 |
Walther Neuper |
TermC: clean signature, partially
|
changeset |
files
|
| Fri, 02 Mar 2018 14:19:59 +0100 |
Walther Neuper |
separate structure TermC : TERMC
|
changeset |
files
|
| Sun, 25 Feb 2018 16:31:17 +0100 |
Walther Neuper |
Calc: cleanup test file
|
changeset |
files
|
| Sun, 25 Feb 2018 14:02:42 +0100 |
Walther Neuper |
Calc: cleanup source file
|
changeset |
files
|
| Sun, 25 Feb 2018 12:36:23 +0100 |
Walther Neuper |
separate structure Calc : NUMERAL_CALCULATION
|
changeset |
files
|
| Sun, 25 Feb 2018 12:18:47 +0100 |
Walther Neuper |
Rewrite: cleanup test file
|
changeset |
files
|
| Sun, 25 Feb 2018 10:19:18 +0100 |
Walther Neuper |
Rewrite: clean tests
|
changeset |
files
|
| Sun, 25 Feb 2018 07:13:47 +0100 |
Walther Neuper |
Rewrite: test on "exception TERM" in Build_Isac repaired
|
changeset |
files
|
| Sat, 24 Feb 2018 16:09:24 +0100 |
Walther Neuper |
Rewrite is broken; intermediate state for repair
|
changeset |
files
|
| Sat, 24 Feb 2018 11:14:56 +0100 |
Walther Neuper |
Rewrite: cleanup source file
|
changeset |
files
|
| Fri, 23 Feb 2018 07:29:36 +0100 |
Walther Neuper |
separate structure Rewrite : REWRITE
|
changeset |
files
|
| Fri, 23 Feb 2018 07:03:07 +0100 |
Walther Neuper |
clean open for tests
|
changeset |
files
|
| Fri, 23 Feb 2018 06:50:06 +0100 |
Walther Neuper |
tuned redundant pattern in fun def.
|
changeset |
files
|
| Thu, 22 Feb 2018 17:55:29 +0100 |
Walther Neuper |
LTool: cleanup test file
|
changeset |
files
|
| Fri, 16 Feb 2018 14:39:29 +0100 |
Walther Neuper |
LTool: cleanup source file
|
changeset |
files
|
| Wed, 14 Feb 2018 15:59:00 +0100 |
Walther Neuper |
prep. opening LTool for test/
|
changeset |
files
|
| Wed, 14 Feb 2018 12:20:35 +0100 |
Walther Neuper |
separate structure LTools : LANGUAGE_TOOLS
|
changeset |
files
|
| Wed, 14 Feb 2018 10:54:53 +0100 |
Walther Neuper |
/----- finish update Isabelle2015 --> Isabelle2017
|
changeset |
files
|
| Wed, 14 Feb 2018 10:50:12 +0100 |
Walther Neuper |
Isabelle2015->17: "biegelinie" is broken
|
changeset |
files
|
| Wed, 14 Feb 2018 08:05:37 +0100 |
Walther Neuper |
Isabelle2015->17: simplification changed cf. 5f9f07d37a1e
|
changeset |
files
|
| Wed, 14 Feb 2018 06:06:27 +0100 |
Walther Neuper |
Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647
|
changeset |
files
|
| Tue, 13 Feb 2018 16:17:59 +0100 |
Walther Neuper |
Isabelle2015->17: simplification of rationals changed
|
changeset |
files
|
| Tue, 13 Feb 2018 15:25:16 +0100 |
Walther Neuper |
Isabelle2015->17: fix not checked with PCD_Poly_ML.thy
|
changeset |
files
|
| Tue, 13 Feb 2018 15:14:55 +0100 |
Walther Neuper |
Isabelle2015->17: "normalize" as identifier causes type clash now, etc
|
changeset |
files
|
| Sat, 10 Feb 2018 16:21:12 +0100 |
Walther Neuper |
Isabelle2015->17: fix error introduced by 'session identifiers' 172b53399454
|
changeset |
files
|
| Sat, 10 Feb 2018 15:12:59 +0100 |
Walther Neuper |
Isabelle2015->17: mini fixes in test
|
changeset |
files
|
| Fri, 09 Feb 2018 12:12:25 +0100 |
Walther Neuper |
Isabelle2015->17: imports of Text_Isac work again
|
changeset |
files
|
| Fri, 09 Feb 2018 12:00:21 +0100 |
Walther Neuper |
Isabelle2015->17: Minisubpbl works due to previous fixes
|
changeset |
files
|
| Fri, 09 Feb 2018 11:57:24 +0100 |
Walther Neuper |
Isabelle2015->17: tests work down to Minisubpbl
|
changeset |
files
|
| Fri, 09 Feb 2018 11:45:53 +0100 |
Walther Neuper |
Isabelle2015->17: applied 172b53399454 (on src/) on test/ too
|
changeset |
files
|
| Fri, 09 Feb 2018 11:16:05 +0100 |
Walther Neuper |
Isabelle2015->17: internal string for division changed
|
changeset |
files
|
| Thu, 08 Feb 2018 13:20:40 +0100 |
Walther Neuper |
Isabelle2015->17: test setup for calculate
|
changeset |
files
|
| Thu, 08 Feb 2018 12:49:52 +0100 |
Walther Neuper |
Isabelle2015->17: thm changed
|
changeset |
files
|
| Wed, 07 Feb 2018 15:00:37 +0100 |
Walther Neuper |
Isabelle2015->17: new negation "~ " --> "<not> "
|
changeset |
files
|
| Wed, 07 Feb 2018 13:06:27 +0100 |
Walther Neuper |
Isabelle2015->17: test setup for ADDTESTS/All_Ctxt, fst error in "ProgLang/termC.sml"
|
changeset |
files
|
| Wed, 07 Feb 2018 12:51:53 +0100 |
Walther Neuper |
tuned
|
changeset |
files
|
| Wed, 07 Feb 2018 11:27:38 +0100 |
Walther Neuper |
Isabelle2015->17: session identifiers enforced now
|
changeset |
files
|
| Wed, 07 Feb 2018 11:21:54 +0100 |
Walther Neuper |
Isabelle2015->17: header in thys dropped
|
changeset |
files
|
| Wed, 07 Feb 2018 10:24:16 +0100 |
Walther Neuper |
Isabelle2015->17: session identifiers enforced now
|
changeset |
files
|
| Tue, 06 Feb 2018 16:59:09 +0100 |
Walther Neuper |
sabelle2015->17: too many changes in Polynomial.thy
|
changeset |
files
|
| Tue, 06 Feb 2018 16:55:43 +0100 |
Walther Neuper |
Isabelle2015->17: syntax handling has changed
|
changeset |
files
|
| Tue, 06 Feb 2018 16:54:05 +0100 |
Walther Neuper |
Isabelle2015->17: Polynomial.thy etc has been shifted
|
changeset |
files
|
| Tue, 06 Feb 2018 16:18:43 +0100 |
Walther Neuper |
Isabelle2015->17: transfer changes from src/ to test/
|
changeset |
files
|
| Tue, 06 Feb 2018 15:26:05 +0100 |
Walther Neuper |
Isabelle2015->17: Build_Isac works again
|
changeset |
files
|