| Fri, 26 Mar 2021 10:45:05 +0100 |
reset mathematics-engine to Isabelle2015
|
file | diff | annotate |
| Wed, 12 Sep 2018 16:24:42 +0200 |
hg commit -m "------ connection to new math-engine on Isabelle2018 partially
|
file | diff | annotate |
| Tue, 21 Nov 2017 11:53:30 +0100 |
complete demo \label{UC:user-guide}
|
file | diff | annotate |
| Thu, 18 May 2017 10:16:13 +0200 |
collect test data from User Requirements
|
file | diff | annotate |
| Wed, 17 May 2017 15:58:13 +0200 |
Ast.math_string_of handles lists
|
file | diff | annotate |
| Sun, 30 Apr 2017 12:15:27 +0200 |
test transformation Term -> Ast, partially
|
file | diff | annotate |
| Sun, 30 Apr 2017 11:48:13 +0200 |
parallel use of various TestDATA
|
file | diff | annotate |
| Sun, 30 Apr 2017 08:46:29 +0200 |
asts from use cases of mmahringer
|
file | diff | annotate |
| Tue, 14 Mar 2017 14:31:20 +0100 |
does NOT overwrite scala code of libisabelle
|
file | diff | annotate |
| Thu, 21 Apr 2016 14:00:43 +0200 |
testdata for mawen's example for reference
|
file | diff | annotate |
| Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
| Mon, 05 Oct 2015 11:30:59 +0200 |
further design considerations for terms as XML
|
file | diff | annotate |
| Sat, 03 Oct 2015 18:26:58 +0200 |
design considerations for terms as XML
|
file | diff | annotate |
| Fri, 25 Sep 2015 17:17:18 +0200 |
first term of example for reference
|
file | diff | annotate |
| Fri, 25 Sep 2015 16:45:23 +0200 |
introduced XML terms for mawen
|
file | diff | annotate |