Wed, 08 Apr 2020 13:14:05 +0200 | wenzelm | more general support for isabelle_scala_service; | file | diff | annotate |
Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
Fri, 21 Dec 2018 13:38:44 +0100 | wenzelm | clarified; | file | diff | annotate |
Fri, 21 Dec 2018 12:38:30 +0100 | wenzelm | tuned comments; | file | diff | annotate |
Thu, 20 Dec 2018 23:05:37 +0100 | wenzelm | support for File_Format.Session, e.g. server process accessible via prover options; | file | diff | annotate |
Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |
Wed, 07 Nov 2018 23:03:45 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 07 Nov 2018 22:31:56 +0100 | wenzelm | clarified signature; | 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 |