Walther Neuper <walther.neuper@jku.at> [Thu, 22 Oct 2020 14:03:40 +0200] rev 60089
various trials to decompose Isabelle's proof machinery
Walther Neuper <walther.neuper@jku.at> [Thu, 08 Oct 2020 10:05:33 +0200] rev 60088
tuned
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Oct 2020 17:47:18 +0200] rev 60087
cp non-recursive problem parser from Test_Parse_Isac to parseC.sml
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Oct 2020 12:15:31 +0200] rev 60086
tuned
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Oct 2020 11:52:54 +0200] rev 60085
resume parsers for shifting Isac inbetween Isabelle/jEdit and Isabelle/HOL
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Oct 2020 10:02:42 +0200] rev 60084
/----- finish update Isabelle2019 --> Isabelle2020 for Test_Isac_Short.thy
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Oct 2020 09:57:35 +0200] rev 60083
Isabelle2019->20: adapt to new handling of quotes in mixfix, finished
cf.fbe1652b0df8
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Oct 2020 09:45:07 +0200] rev 60082
tuned
Walther Neuper <walther.neuper@jku.at> [Wed, 07 Oct 2020 09:31:10 +0200] rev 60081
Isabelle2019->20: adapt to new session requirements continued
Walther Neuper <walther.neuper@jku.at> [Tue, 06 Oct 2020 12:44:42 +0200] rev 60080
Isabelle2019->20: session Isac works again