mmahringer <s1520454056@students.fh-hagenberg.at> [Tue, 27 Jun 2017 13:08:01 +0200] rev 5152
merged
mmahringer <s1520454056@students.fh-hagenberg.at> [Tue, 27 Jun 2017 13:07:47 +0200] rev 5151
Listen from KeyInput to write formulas
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Jun 2017 12:49:02 +0200] rev 5150
treat Isabelle_isac.connect uniformly
Note: each sys_.invoke still re-establishes Isabelle_isac.connect,
c.f. a3431d424279
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 27 Jun 2017 11:27:29 +0200] rev 5149
get a sub-term of an ast via key
c.f. 31ed4d1f03df
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 23 Jun 2017 09:56:34 +0200] rev 5148
trial to call Isabelle_Isac.connect more efficiently
Note: the message
DEBUG edu.tum.cs.isabelle.api.Environment - Instantiating environment for <Isabelle2015> at /usr/local/isabisac
indicates establishment of connection.
TestUseCases.scala receives this message 4 times, so this trial failes.
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 21 Jun 2017 14:42:08 +0200] rev 5147
merged
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 21 Jun 2017 14:41:55 +0200] rev 5146
correct ast from "extend CURSOR"
mmahringer <s1520454056@students.fh-hagenberg.at> [Wed, 21 Jun 2017 14:38:47 +0200] rev 5145
merged
mmahringer <s1520454056@students.fh-hagenberg.at> [Wed, 21 Jun 2017 14:38:37 +0200] rev 5144
boxing Asts and navigation with arrows
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 21 Jun 2017 14:11:08 +0200] rev 5143
extend CURSOR in asts according to input process