| Thu, 12 Sep 2019 14:42:53 +0200 |
/----- finish update Isabelle2018 --> Isabelle2019 for Test_Isac.thy
|
file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
| Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate |
| Tue, 27 Aug 2019 11:59:48 +0200 |
separate Specify/ from Interpret/
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Fri, 09 Aug 2019 14:04:13 +0200 |
separater structure ContextC
|
file | diff | annotate |
| Wed, 24 Jul 2019 11:30:59 +0200 |
lucin: separate interpreter-state and improve type-identifier
|
file | diff | annotate |
| Wed, 24 Jul 2019 10:35:19 +0200 |
lucin: improve type-identifiers for signatures
|
file | diff | annotate |
| Wed, 24 Jul 2019 09:32:17 +0200 |
lucin: improve signature of "fun locate_input_tactic"
|
file | diff | annotate |
| Thu, 04 Jul 2019 15:13:30 +0200 |
lucin: tuned
|
file | diff | annotate |
| Tue, 25 Jun 2019 16:21:18 +0200 |
lucin: adapt tests to new file src/../lucas-interpreter.sml
|
file | diff | annotate |
| Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.sml
|
file | diff | annotate |
| Mon, 27 May 2019 19:28:40 +0200 |
funpack: failed trial to generalise handling of meths which extend the model of a probl
|
file | diff | annotate |
| Wed, 27 Mar 2019 11:20:43 +0100 |
[-Test_Isac] adapt add_fractions_p to AA
|
file | diff | annotate |
| Thu, 21 Mar 2019 17:51:18 +0100 |
[-Test_Isac] extend "is_polyexp (Const _) = true" for AA
|
file | diff | annotate |
| Thu, 28 Feb 2019 12:14:32 +0100 |
funpack: outcomment partial_function, further preps required
|
file | diff | annotate |
| Fri, 11 Jan 2019 15:45:55 +0100 |
[-Test_Isac] add test to Minisubpbl for interSteps
|
file | diff | annotate |
| Thu, 10 Jan 2019 18:17:48 +0100 |
[-Test_Isac] funpack: adapt substitution to type "char string"
|
file | diff | annotate |
| Mon, 31 Dec 2018 14:49:16 +0100 |
[-Test_Isac] add an overlooked structure
|
file | diff | annotate |
| Wed, 12 Dec 2018 19:39:51 +0100 |
[-Test_Isac] funpack: Minisubpbl/250-Rewrite_Set-from-method works again
|
file | diff | annotate |
| Tue, 11 Dec 2018 12:17:12 +0100 |
[-Test_Isac] funpack: Minisubpbl/200-start-method works again
|
file | diff | annotate |
| Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
| Wed, 29 Aug 2018 11:27:22 +0200 |
------ finish update Isabelle2017 --> Isabelle2018 for Test_Isac.thy
|
file | diff | annotate |
| Tue, 28 Aug 2018 13:34:22 +0200 |
Isabelle2017->18: adapt to more rigorous session handling
|
file | diff | annotate |
| Mon, 27 Aug 2018 17:14:23 +0200 |
Isabelle2017->18: Test_Isac.thy for request at isabelle-users@
|
file | diff | annotate |
| Mon, 27 Aug 2018 15:57:45 +0200 |
sabelle2017->18: for Test_Isac.thy minor changes
|
file | diff | annotate |
| Fri, 24 Aug 2018 13:05:00 +0200 |
Isabelle2017->18: for Test_Isac.thy adapt new form of imports
|
file | diff | annotate |
| Wed, 22 Aug 2018 12:47:25 +0200 |
final isabisac17 on Isabelle2017
|
file | diff | annotate |
| Wed, 11 Apr 2018 14:44:46 +0200 |
partial_function: start cleaning programs, biegelinie for paper
|
file | diff | annotate |
| Wed, 04 Apr 2018 12:41:03 +0200 |
clean theory dependencies, finished: Test_Isac ok
|
file | diff | annotate |
| Mon, 26 Mar 2018 16:25:01 +0200 |
LibraryC: clean source file done
|
file | diff | annotate |
| Mon, 26 Mar 2018 09:20:09 +0200 |
Rule: Test_Isac works completely
|
file | diff | annotate |
| Sat, 24 Mar 2018 14:34:47 +0100 |
Celem: Test_Isac works completely
|
file | diff | annotate |
| Fri, 23 Mar 2018 10:14:39 +0100 |
Celem: Test_Isac partially
|
file | diff | annotate |
| Thu, 15 Mar 2018 15:48:52 +0100 |
Celem: tests within imports work, except All_Ctxt
|
file | diff | annotate |
| Tue, 13 Mar 2018 14:41:02 +0100 |
TermC: clean test files, Test_Isac OK
|
file | diff | annotate |
| Tue, 13 Mar 2018 09:09:14 +0100 |
TermC: num_str was lost; re-established more than necessary; Test_Isac works
|
file | diff | annotate |
| Sat, 10 Mar 2018 17:20:15 +0100 |
TermC: clean tests, partially
|
file | diff | annotate |
| Thu, 08 Mar 2018 12:30:46 +0100 |
TermC: prep. comparing tests isabisac <--> isabisac15
|
file | diff | annotate |
| Thu, 08 Mar 2018 07:52:06 +0100 |
TermC: error caused by broken test shows: get_theory "Pure" ...
|
file | diff | annotate |
| Thu, 08 Mar 2018 07:28:17 +0100 |
TermC: push struct to tests, 3 broken and collected in Test_Isac.
|
file | diff | annotate |
| Sun, 25 Feb 2018 16:31:17 +0100 |
Calc: cleanup test file
|
file | diff | annotate |
| Sun, 25 Feb 2018 10:19:18 +0100 |
Rewrite: clean tests
|
file | diff | annotate |
| Wed, 14 Feb 2018 15:59:00 +0100 |
prep. opening LTool for test/
|
file | diff | annotate |
| Wed, 14 Feb 2018 10:54:53 +0100 |
/----- finish update Isabelle2015 --> Isabelle2017
|
file | diff | annotate |
| Wed, 14 Feb 2018 10:50:12 +0100 |
Isabelle2015->17: "biegelinie" is broken
|
file | diff | annotate |
| Wed, 14 Feb 2018 06:06:27 +0100 |
Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647
|
file | diff | annotate |
| Tue, 13 Feb 2018 16:17:59 +0100 |
Isabelle2015->17: simplification of rationals changed
|
file | diff | annotate |
| Tue, 13 Feb 2018 15:25:16 +0100 |
Isabelle2015->17: fix not checked with PCD_Poly_ML.thy
|
file | diff | annotate |
| Tue, 13 Feb 2018 15:14:55 +0100 |
Isabelle2015->17: "normalize" as identifier causes type clash now, etc
|
file | diff | annotate |
| Sat, 10 Feb 2018 16:21:12 +0100 |
Isabelle2015->17: fix error introduced by 'session identifiers' 172b53399454
|
file | diff | annotate |
| Fri, 09 Feb 2018 12:12:25 +0100 |
Isabelle2015->17: imports of Text_Isac work again
|
file | diff | annotate |
| Fri, 09 Feb 2018 12:00:21 +0100 |
Isabelle2015->17: Minisubpbl works due to previous fixes
|
file | diff | annotate |
| Fri, 09 Feb 2018 11:57:24 +0100 |
Isabelle2015->17: tests work down to Minisubpbl
|
file | diff | annotate |
| Fri, 09 Feb 2018 11:45:53 +0100 |
Isabelle2015->17: applied 172b53399454 (on src/) on test/ too
|
file | diff | annotate |
| Thu, 08 Feb 2018 13:20:40 +0100 |
Isabelle2015->17: test setup for calculate
|
file | diff | annotate |
| Thu, 08 Feb 2018 12:49:52 +0100 |
Isabelle2015->17: thm changed
|
file | diff | annotate |
| Wed, 07 Feb 2018 15:00:37 +0100 |
Isabelle2015->17: new negation "~ " --> "<not> "
|
file | diff | annotate |
| Wed, 07 Feb 2018 13:06:27 +0100 |
Isabelle2015->17: test setup for ADDTESTS/All_Ctxt, fst error in "ProgLang/termC.sml"
|
file | diff | annotate |