Walther Neuper <wneuper@ist.tugraz.at> [Mon, 11 Jun 2018 16:07:53 +0200] rev 59436
bridge: start with SPARK as a model
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 26 May 2018 14:58:37 +0200] rev 59435
bridge: copy ML scanner to isac scanner
next: learn to build a scanner from HOL/SPARK
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 26 May 2018 14:16:37 +0200] rev 59434
bridge: Makarius' hints by mail
mail > devel > isac > 18 > isac-server > Re: ISAC command, On 2018-05-24 23:02
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 26 May 2018 11:26:43 +0200] rev 59433
bridge: introduce Isabelle/jEdit as Isac front-end, begin
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 26 May 2018 11:13:36 +0200] rev 59432
cleanup Test.thy partially
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 18 May 2018 18:32:02 +0200] rev 59431
rm global ref from Test.thy finally
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 18 May 2018 17:59:48 +0200] rev 59430
partial_function: clean Test.thy partially
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 11 Apr 2018 14:44:46 +0200] rev 59429
partial_function: start cleaning programs, biegelinie for paper
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 04 Apr 2018 12:41:03 +0200] rev 59428
clean theory dependencies, finished: Test_Isac ok
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 03 Apr 2018 17:29:54 +0200] rev 59427
clean theory dependencies, partially