Sat, 04 Apr 2020 12:11:32 +0200 |
separate Rule_Set from Rule
|
file | diff | annotate |
Wed, 01 Apr 2020 12:42:39 +0200 |
renaming, cleanup
|
file | diff | annotate |
Sat, 07 Mar 2020 15:37:37 +0100 |
further separate specify- and solve-phase
|
file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
Wed, 18 Dec 2019 15:33:27 +0100 |
prep. intro. of Step
|
file | diff | annotate |
Wed, 13 Nov 2019 10:21:51 +0100 |
separate structure Pos: POSITION
|
file | diff | annotate |
Thu, 17 Oct 2019 13:17:48 +0200 |
lucin: cleanup args in lucas-interpreter, preps
|
file | diff | annotate |
Wed, 11 Sep 2019 18:02:35 +0200 |
Isabelle2018->19: rm libisabelle -- retain max.of interface
|
file | diff | annotate |
Tue, 10 Sep 2019 16:13:28 +0200 |
Isabelle2018->19: rm libisabelle finished, retain interface.sml
|
file | diff | annotate |
Tue, 10 Sep 2019 10:47:18 +0200 |
Isabelle2018->19: rm libisabelle, not available for Isabelle2019
|
file | diff | annotate |
Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate | base |