Walther Neuper <wneuper@ist.tugraz.at> [Mon, 18 May 2015 13:17:03 +0200] rev 59121
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 16:16:39 +0200] rev 59120
Isabelle2013-2 --> 2014: Test_Isac is perfect again
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 16:05:42 +0200] rev 59119
usage of Test_Theory.thy and Test_Some.thy
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 16:03:38 +0200] rev 59118
Isabelle201302 --> Isabelle2014: add.commute cf. b42e334c97ee
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 15:43:15 +0200] rev 59117
Isabelle201302 --> Isabelle2014: negative numbers' representation changed
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 15:38:28 +0200] rev 59116
Isabelle201302 --> Isabelle2014: delete a test which is unclear how worked before
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 13:31:53 +0200] rev 59115
=== isabelle tty --> libisabelle: test example for isac-java's migration
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 12:59:38 +0200] rev 59114
GOON with pseudo division in risc/../poly
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 08 May 2015 12:57:56 +0200] rev 59113
separate isabisac form Isabelle2014
getsettings determines ~/.isabelle/heaps/
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 20 Apr 2015 16:02:09 +0200] rev 59112
more minor updates