| Thu, 22 Aug 2019 11:26:14 +0200 |
lucin: clarify initialisation of ctxt by ContextC.initialise, initialise'
|
file | diff | annotate |
| Thu, 22 Aug 2019 10:27:02 +0200 |
shift e_ctxt Selem. --> ContextC.
|
file | diff | annotate |
| Thu, 15 Aug 2019 15:01:42 +0200 |
formalisation robust against order of Variable.declare_constraints
|
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 |
| Wed, 24 Jul 2019 15:28:11 +0200 |
lucin: rename assod --> associate
|
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 |
| Fri, 05 Jul 2019 13:47:21 +0200 |
lucin: for "fun locate_input_tactic" remove thy + replace by "Isac" in calls
|
file | diff | annotate |
| Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.sml
|
file | diff | annotate |
| Tue, 25 Jun 2019 10:27:14 +0200 |
lucin: shift "locate input tactic" into lucas-interpreter.sml"
|
file | diff | annotate |
| Mon, 24 Jun 2019 15:53:50 +0200 |
repair Test_Isac for previous change set
|
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 |