Tue, 10 Jan 2023 10:01:05 +0100 |
eliminate use of Thy_Info 9: arg. ctxt for Rule.to_string, Istate.to_string
|
file | diff | annotate |
Thu, 20 Oct 2022 10:23:38 +0200 |
followup 6a: tests run from @{context} without sessions
|
file | diff | annotate |
Sun, 11 Sep 2022 14:31:15 +0200 |
resolve name clash in get_calc
|
file | diff | annotate |
Fri, 05 Aug 2022 08:45:37 +0200 |
finish Calc_Binop, add signature EXAMPLE
|
file | diff | annotate |
Mon, 27 Sep 2021 20:24:24 +0200 |
cleanup; all relevant tests work again
|
file | diff | annotate |
Sat, 17 Jul 2021 14:05:28 +0200 |
replace "-*" by "- *" for numerals "*" in test/*
|
file | diff | annotate |
Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
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 |
Tue, 31 Mar 2020 15:43:33 +0200 |
renaming, cleanup
|
file | diff | annotate |
Thu, 20 Feb 2020 11:55:29 +0100 |
prep. cleanup istate/ctxt in Ctree
|
file | diff | annotate |
Wed, 18 Sep 2019 16:28:49 +0200 |
tests run in Test_Isac with ML_system_64 = "true"
|
file | diff | annotate |
Wed, 18 Sep 2019 12:15:59 +0200 |
tests run in Test_Isac with ML_system_64 = "true", still exception Size
|
file | diff | annotate |
Mon, 16 Sep 2019 12:43:43 +0200 |
shift respective constants to ListC.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 |
Tue, 27 Aug 2019 18:03:33 +0200 |
assign Input_Descript to Specify/-phase
|
file | diff | annotate |
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 |
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 |