2019-06-16 updated testboard section default tip
Christian Urban <urbanc@in.tum.de> [Sun, 16 Jun 2019 14:54:32 +0100] rev 580
updated testboard section
2019-06-11 pdf
Christian Urban <urbanc@in.tum.de> [Tue, 11 Jun 2019 23:31:53 +0100] rev 579
pdf
2019-06-11 minor updated
Christian Urban <urbanc@in.tum.de> [Tue, 11 Jun 2019 23:31:09 +0100] rev 578
minor updated
2019-05-22 updated pdf-document
Christian Urban <urbanc@in.tum.de> [Thu, 23 May 2019 00:58:11 +0100] rev 577
updated pdf-document
2019-05-22 small typo
Christian Urban <urbanc@in.tum.de> [Thu, 23 May 2019 00:56:39 +0100] rev 576
small typo
2019-05-22 fixing some Line references
Norbert Schirmer <norbert.schirmer@web.de> [Wed, 22 May 2019 13:24:30 +0200] rev 575
fixing some Line references
2019-05-22 polish document
Norbert Schirmer <norbert.schirmer@web.de> [Wed, 22 May 2019 12:38:51 +0200] rev 574
polish document
2019-05-21 accomodate to upcoming Isabelle 2019
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 21 May 2019 16:22:30 +0200] rev 573
accomodate to upcoming Isabelle 2019
2019-05-21 prefer more result checking in ML antiquotations
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 21 May 2019 14:37:39 +0200] rev 572
prefer more result checking in ML antiquotations
2019-05-17 reactivated Readme.thy for authors
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 11:21:09 +0200] rev 571
reactivated Readme.thy for authors
2019-05-17 ommit cartouche while displaying ML
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 10:50:53 +0200] rev 570
ommit cartouche while displaying ML
2019-05-17 prefer cartouches over " in ML antiquotations
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 10:38:01 +0200] rev 569
prefer cartouches over " in ML antiquotations
2019-05-17 adding to "how to understand code"
Norbert Schirmer <norbert.schirmer@web.de> [Fri, 17 May 2019 07:29:51 +0200] rev 568
adding to "how to understand code"
2019-05-16 tuned ML-antiquotations; added intro portions.
Norbert Schirmer <norbert.schirmer@web.de> [Thu, 16 May 2019 19:56:12 +0200] rev 567
tuned ML-antiquotations; added intro portions.
2019-05-14 tuned parser for patterns in ML_response... antiquotations
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 14 May 2019 17:45:13 +0200] rev 566
tuned parser for patterns in ML_response... antiquotations
2019-05-14 isabelle update_cartouches -t
Norbert Schirmer <norbert.schirmer@web.de> [Tue, 14 May 2019 17:10:47 +0200] rev 565
isabelle update_cartouches -t
(0) -300 -100 -16 tip