| 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 |
| Thu, 30 Mar 2017 14:04:12 +0200 |
--- replace Term by Ast in formulas
|
file | diff | annotate |
| Thu, 23 Mar 2017 15:27:09 +0100 |
extend Syntax to ASTs
|
file | diff | annotate |
| Thu, 23 Mar 2017 10:31:04 +0100 |
minimally adopt Isabelle's syntax machinery
|
file | diff | annotate |
| Mon, 20 Feb 2017 15:18:39 +0100 |
Ast.toString with tests
|
file | diff | annotate |
| Mon, 01 Aug 2016 14:59:29 +0200 |
corrected recognition of libisabelle terms
|
file | diff | annotate |
| Sat, 30 Jul 2016 14:46:37 +0200 |
TermTree plays depth by repetition, line by pitch
|
file | diff | annotate |
| Tue, 26 Jul 2016 13:00:20 +0200 |
SoundUtils duplicate removed
|
file | diff | annotate |
| Thu, 07 Jul 2016 12:01:15 +0200 |
cleanup preparing: isac-java <--Term-- kernel
|
file | diff | annotate |
| Thu, 30 Jun 2016 18:29:31 +0200 |
TermTree has a soundmodel
|
file | diff | annotate |
| Mon, 20 Jun 2016 15:23:20 +0200 |
merged
|
file | diff | annotate |
| Mon, 20 Jun 2016 15:23:05 +0200 |
stub for audio representation of terms
|
file | diff | annotate |
| Fri, 17 Jun 2016 14:15:18 +0200 |
mathml works in test setup
|
file | diff | annotate |
| Fri, 17 Jun 2016 13:32:46 +0200 |
added conversion: libisabelle-Term --> MathML
|
file | diff | annotate |
| Tue, 07 Jun 2016 14:08:56 +0200 |
TestTermTree displays correct string when collapsed/expanded
|
file | diff | annotate |
| Wed, 18 May 2016 13:45:53 +0200 |
tuned
|
file | diff | annotate |
| Wed, 18 May 2016 13:40:56 +0200 |
tuned
|
file | diff | annotate |
| Wed, 18 May 2016 13:39:09 +0200 |
jtree_of(Term) works in test setup
|
file | diff | annotate |
| Wed, 18 May 2016 10:05:41 +0200 |
hints for setup of incremental build of jtree_of(Term)
|
file | diff | annotate |
| Tue, 17 May 2016 15:52:28 +0200 |
new setup for incremental build of jtree_of
|
file | diff | annotate |
| Tue, 17 May 2016 14:27:59 +0200 |
TestTermTreeView reports strange null==get(pos).getTerm())
|
file | diff | annotate |
| Thu, 12 May 2016 09:08:11 +0200 |
unified decode/encode of libisabelle's Terms
|
file | diff | annotate |
| Thu, 21 Apr 2016 14:00:43 +0200 |
testdata for mawen's example for reference
|
file | diff | annotate |
| Mon, 04 Apr 2016 14:18:31 +0200 |
prepare for Codec[Term].decode
|
file | diff | annotate |
| Thu, 11 Feb 2016 14:15:01 +0100 |
string_of Term observes infixl, infixr
|
file | diff | annotate |
| Wed, 10 Feb 2016 13:37:13 +0100 |
mawen examples for reference on Term representation
|
file | diff | annotate |