2019-06-16 Christian Urban updated testboard section default tip
2019-06-11 Christian Urban pdf
2019-06-11 Christian Urban minor updated
2019-05-22 Christian Urban updated pdf-document
2019-05-22 Christian Urban small typo
2019-05-22 Norbert Schirmer fixing some Line references
2019-05-22 Norbert Schirmer polish document
2019-05-21 Norbert Schirmer accomodate to upcoming Isabelle 2019
2019-05-21 Norbert Schirmer prefer more result checking in ML antiquotations
2019-05-17 Norbert Schirmer reactivated Readme.thy for authors
2019-05-17 Norbert Schirmer ommit cartouche while displaying ML
2019-05-17 Norbert Schirmer prefer cartouches over " in ML antiquotations
2019-05-17 Norbert Schirmer adding to "how to understand code"
2019-05-16 Norbert Schirmer tuned ML-antiquotations; added intro portions.
2019-05-14 Norbert Schirmer tuned parser for patterns in ML_response... antiquotations
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
Loading...
(0) -300 -100 -16 tip