| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Thu, 22 Aug 2019 12:18:58 +0200 |
lucin: renaming from "script" to "program"
|
file | diff | annotate |
| Thu, 22 Aug 2019 11:26:14 +0200 |
lucin: clarify initialisation of ctxt by ContextC.initialise, initialise'
|
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, 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 |
| Sat, 22 Jun 2019 13:15:52 +0200 |
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml
|
file | diff | annotate |
| Wed, 29 May 2019 14:22:31 +0200 |
[-Test_Isac] funpack: switched also fun formal_args
|
file | diff | annotate |
| Fri, 14 Dec 2018 20:53:15 +0100 |
[-Test_Isac] funpack: Minisubpbl works again
|
file | diff | annotate |
| Tue, 11 Dec 2018 12:18:28 +0100 |
tuned
|
file | diff | annotate |
| Tue, 11 Dec 2018 12:17:12 +0100 |
[-Test_Isac] funpack: Minisubpbl/200-start-method works again
|
file | diff | annotate |
| Sat, 27 Aug 2016 16:57:18 +0200 |
improve error messages for writing Isac programs
|
file | diff | annotate |
| Sat, 27 Aug 2016 09:40:52 +0200 |
test for tactic Specify_Method
|
file | diff | annotate |
| Thu, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Fri, 20 May 2011 09:12:40 +0200 |
intermed. ctxt ..: init_scrstate without precond work
|
file | diff | annotate |
| Fri, 20 May 2011 08:12:51 +0200 |
tuned
|
file | diff | annotate |
| Thu, 19 May 2011 19:28:22 +0200 |
intermed. ctxt ..: add preconds in solve..Apply_Method
|
file | diff | annotate |
| Fri, 13 May 2011 09:28:38 +0200 |
tuned
|
file | diff | annotate |
| Thu, 12 May 2011 10:00:06 +0200 |
added test-sequence with mini_subpbl x+1=2
|
file | diff | annotate |