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 |
Wed, 02 Aug 2017 18:04:23 +0200 |
cleanup hack in Ast.math_string_of
|
file | diff | annotate |
Wed, 02 Aug 2017 11:51:30 +0200 |
quick and dirty repair of Ast.math_string_of
|
file | diff | annotate |
Thu, 06 Jul 2017 15:36:11 +0200 |
add usecase with coloured boxes
|
file | diff | annotate |
Fri, 23 Jun 2017 09:56:34 +0200 |
trial to call Isabelle_Isac.connect more efficiently
|
file | diff | annotate |
Wed, 21 Jun 2017 14:11:08 +0200 |
extend CURSOR in asts according to input process
|
file | diff | annotate |
Tue, 20 Jun 2017 08:15:59 +0200 |
mmahringer's TestUseCases all work
|
file | diff | annotate |
Fri, 19 May 2017 13:46:24 +0200 |
corrected Ast.math_string_of for lists
|
file | diff | annotate |
Fri, 19 May 2017 11:18:10 +0200 |
Ast.math_string_of handles univariate functions ...
|
file | diff | annotate |
Thu, 18 May 2017 10:16:13 +0200 |
collect test data from User Requirements
|
file | diff | annotate |