Tue, 21 Apr 2020 19:07:11 +0200 | wenzelm | clarified imports; | file | diff | annotate |
Sat, 01 Jun 2019 21:43:41 +0200 | wenzelm | tuned imports -- accommodate scala-2.13.0-RC3; | file | diff | annotate |
Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | file | diff | annotate |
Fri, 22 Dec 2017 17:19:53 +0100 | wenzelm | uniform preview for Isabelle/jEdit and Isabelle/VSCode; | file | diff | annotate |
Fri, 22 Dec 2017 14:27:59 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Thu, 29 Jun 2017 21:07:47 +0200 | wenzelm | tuned output; | file | diff | annotate |
Thu, 29 Jun 2017 11:42:42 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Fri, 16 Jun 2017 21:04:39 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |