| Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | file | diff | annotate |
| Tue, 04 Sep 2018 14:47:50 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 04 Sep 2018 14:40:31 +0200 | wenzelm | clarified Nodes_Status; | file | diff | annotate |
| Mon, 03 Sep 2018 19:44:10 +0200 | wenzelm | more informative node_status; | file | diff | annotate |
| Mon, 03 Sep 2018 18:52:28 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 03 Sep 2018 15:04:04 +0200 | wenzelm | proper polarity of terminated status; | file | diff | annotate |
| Sun, 02 Sep 2018 23:55:25 +0200 | wenzelm | tuned signature; | file | diff | annotate |