| 2019-05-14 | Norbert Schirmer | isabelle update_cartouches -t | file | diff | annotate |
| 2019-05-14 | Norbert Schirmer | tuned parsing in document antiquotations for ML | file | diff | annotate |
| 2019-05-14 | Norbert Schirmer | Accomodate to Isabelle 2018 | file | diff | annotate |
| 2014-07-08 | Christian Urban |
updated for Isabelle 2014 | file | diff | annotate |