Natalie Karl <S1420454023@students.fh-hagenberg.at> [Fri, 17 Jun 2016 14:15:18 +0200] rev 4922
mathml works in test setup
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 17 Jun 2016 13:33:55 +0200] rev 4921
merged
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 17 Jun 2016 13:32:46 +0200] rev 4920
added conversion: libisabelle-Term --> MathML
Note: MathML means: representation format encoded as String
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 15 Jun 2016 11:06:42 +0200] rev 4919
merged
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 07 Jun 2016 13:03:58 +0200] rev 4918
merged
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 20 May 2016 11:41:13 +0200] rev 4917
TERM: unify XML for Formula <-- term
cf. https://intra.ist.tugraz.at/hg/isa/rev/dd5e5c1e093c
in Java/Isac see:
exp > IsacCore > Tests > rationa equation, assumptions
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 20 May 2016 11:07:33 +0200] rev 4916
TERM: unify XML for Formula --> term
Notes
# cf. https://intra.ist.tugraz.at/hg/isa/rev/c8bdd2cadb16
# "TERM" marks work on switching to transport libisabelle's Term instead of String
# concerned is transport only Java/Isac <-- Isabelle/Isac,
because --> transports String from input to be parsed by Isabelle.
# notation: Java/Isac "Formula" == Isabelle/Isac "term"
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Fri, 17 Jun 2016 11:12:54 +0200] rev 4915
MathML test String created
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Fri, 17 Jun 2016 10:47:46 +0200] rev 4914
TermTree is accessible via NVDA Screenreader
Natalie Karl <S1420454023@students.fh-hagenberg.at> [Tue, 07 Jun 2016 14:08:56 +0200] rev 4913
TestTermTree displays correct string when collapsed/expanded
test uses decomposition logic and TermTreePanel for GUI now