Norbert Schirmer <norbert.schirmer@web.de> [Wed, 22 May 2019 13:24:30 +0200] rev 575
fixing some Line references
Norbert Schirmer <norbert.schirmer@web.de> [Wed, 22 May 2019 12:38:51 +0200] rev 574
polish document
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 21 May 2019 16:22:30 +0200] rev 573
accomodate to upcoming Isabelle 2019
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 21 May 2019 14:37:39 +0200] rev 572
prefer more result checking in ML antiquotations
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 11:21:09 +0200] rev 571
reactivated Readme.thy for authors
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 10:50:53 +0200] rev 570
ommit cartouche while displaying ML
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 10:38:01 +0200] rev 569
prefer cartouches over " in ML antiquotations
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 07:29:51 +0200] rev 568
adding to "how to understand code"
Norbert Schirmer <norbert.schirmer@web.de> [Thu, 16 May 2019 19:56:12 +0200] rev 567
tuned ML-antiquotations; added intro portions.
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 14 May 2019 17:45:13 +0200] rev 566
tuned parser for patterns in ML_response... antiquotations