Walther Neuper <wneuper@ist.tugraz.at> [Tue, 12 Jun 2018 14:53:47 +0200] rev 59440
partial_function: found examples
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 12 Jun 2018 10:25:27 +0200] rev 59439
bridge: complete list of commands
Note: conflict with "Problem" still to be solved
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 12 Jun 2018 08:08:16 +0200] rev 59438
bridge: comment on templates
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 11 Jun 2018 16:28:21 +0200] rev 59437
bridge: hint by Makarius how to introduce templates
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