Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
Thu, 22 Aug 2019 15:56:48 +0200 |
lucin: pair relevant args. in associate
|
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 |
Tue, 13 Aug 2019 19:33:09 +0200 |
lucin: repair [Text_Isac/../inverse_z_transform.sml]
|
file | diff | annotate |
Tue, 13 Aug 2019 09:19:33 +0200 |
[Text_Isac/../inverse_z_transform.sml] lucin: prep. "fun associate" for sig. locate_input_tactic
|
file | diff | annotate |
Fri, 09 Aug 2019 14:04:13 +0200 |
separater structure ContextC
|
file | diff | annotate |
Fri, 26 Jul 2019 16:34:41 +0200 |
lucin: prep. test for further improving sig. for locate_input_tactic
|
file | diff | annotate |
Wed, 24 Jul 2019 18:22:15 +0200 |
reorganise TODO.thy
|
file | diff | annotate |
Wed, 24 Jul 2019 15:28:11 +0200 |
lucin: rename assod --> associate
|
file | diff | annotate |
Wed, 24 Jul 2019 09:32:17 +0200 |
lucin: improve signature of "fun locate_input_tactic"
|
file | diff | annotate |
Thu, 11 Jul 2019 16:39:46 +0200 |
add update for istate, ctxt to Ctree
|
file | diff | annotate |
Thu, 04 Jul 2019 16:13:03 +0200 |
lucin: adapt signature of "fun determine_next_tactic", postponed (see Test_Some, TODO.thy)
|
file | diff | annotate |
Thu, 04 Jul 2019 15:13:30 +0200 |
lucin: tuned
|
file | diff | annotate |
Wed, 03 Jul 2019 17:17:55 +0200 |
lucin: new lucas-interpreter in comments
|
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 10:46:20 +0200 |
record hints from Isabelle mailing list
|
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 |
Sat, 01 Jun 2019 11:09:19 +0200 |
[-Test_Isac] funpack: repair errors in test, spot remaining errors
|
file | diff | annotate |
Mon, 27 May 2019 19:43:52 +0200 |
Test_Some: exception Size raised (line 169 of "./basis/LibrarySupport.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, 08 May 2019 18:45:25 +0200 |
funpack: adapted Inverse_Z_Transform
|
file | diff | annotate |
Tue, 09 Apr 2019 11:38:26 +0200 |
improve handling of new variable on rhs; open problem with Inverse_Z_Transform
|
file | diff | annotate |
Mon, 08 Apr 2019 16:10:07 +0200 |
tuned
|
file | diff | annotate |
Wed, 20 Mar 2019 15:27:46 +0100 |
[-Test_Isac] unify TermC.coeff_in with occurs_in
|
file | diff | annotate |
Mon, 11 Mar 2019 16:02:27 +0100 |
show_pt_tac, a new tool for checking tests
|
file | diff | annotate |
Thu, 07 Mar 2019 17:29:30 +0100 |
[-Test_Isac] funpack: Const AA enforces care with thys for parsing
|
file | diff | annotate |
Fri, 01 Mar 2019 13:24:08 +0100 |
funpack: replace free variables by constants for partial_function
|
file | diff | annotate |
Tue, 19 Feb 2019 19:35:12 +0100 |
[-Test_Isac] funpack: cp program code to partial_function
|
file | diff | annotate |
Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
Fri, 08 Aug 2014 17:08:10 +0200 |
see xmldata https://intra.ist.tugraz.at/hg/isac/rev/5b222a649390
|
file | diff | annotate |
Mon, 21 Oct 2013 10:44:08 +0200 |
cleaned notes on tests and todos
|
file | diff | annotate | base |