Thu, 16 Nov 2023 08:15:46 +0100 |
prepare 14: improved item_to_add
|
file | diff | annotate |
Tue, 15 Aug 2023 12:22:49 +0200 |
prepare 13: Testi_Isac_Short without errors
|
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 |
Fri, 03 Feb 2023 12:56:05 +0100 |
eliminate use of Thy_Info 17: UnparseC.term_short --> asms_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 |
Wed, 11 Jan 2023 11:38:01 +0100 |
eliminate use of Thy_Info 12: TermC partially
|
file | diff | annotate |
Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
Thu, 20 Oct 2022 10:23:38 +0200 |
followup 6a: tests run from @{context} without sessions
|
file | diff | annotate |
Wed, 19 Oct 2022 10:43:04 +0200 |
eliminate term2str in src, Prog_Tac.*_adapt_to_type
|
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 |
Thu, 04 Aug 2022 12:48:37 +0200 |
polish naming in Rewrite_Order
|
file | diff | annotate |
Sat, 30 Jul 2022 16:47:45 +0200 |
eliminate global flag Rewrite.trace_on
|
file | diff | annotate |
Thu, 26 May 2022 12:44:51 +0200 |
unify parse 6': TermC.parse eliminated, Test_Isac ok
|
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 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 |
Fri, 15 May 2020 11:46:43 +0200 |
shift code from Specification to appropriate locations
|
file | diff | annotate |
Mon, 04 May 2020 13:27:45 +0200 |
remove unused code
|
file | diff | annotate |
Mon, 27 Apr 2020 16:37:56 +0200 |
clarify types of Subst
|
file | diff | annotate |
Mon, 27 Apr 2020 12:36:21 +0200 |
separate struct.Subst, rename idenfitiers
|
file | diff | annotate |
Wed, 15 Apr 2020 10:07:43 +0200 |
use "ThmC" for renaming identifiers
|
file | diff | annotate |
Tue, 14 Apr 2020 12:39:26 +0200 |
reorganise struct. ThmC, part 3 end
|
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 |
Mon, 06 Apr 2020 11:44:36 +0200 |
use "Rule_Set" for shorter identifiers
|
file | diff | annotate |
Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
Fri, 01 Mar 2019 13:24:08 +0100 |
funpack: replace free variables by constants for partial_function
|
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 |
Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
Tue, 06 Mar 2012 14:25:08 +0100 |
intermed. test/../biegelinie.sml
|
file | diff | annotate |
Mon, 25 Jul 2011 08:31:53 +0200 |
tuned
|
file | diff | annotate |
Fri, 22 Jul 2011 14:01:09 +0200 |
tuned
|
file | diff | annotate |
Fri, 06 May 2011 11:18:07 +0200 |
intermed. ctxt ..: cleanup before start with Add_Given
|
file | diff | annotate |
Wed, 23 Mar 2011 17:20:39 +0100 |
make Test_Isac.thy run in jEdit; intermed.
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
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 |