| Wed, 07 Nov 2018 22:31:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 07 Nov 2018 22:15:03 +0100 | wenzelm | more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex); | changeset | files |
| Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | changeset | files |
| Wed, 07 Nov 2018 14:06:43 +0100 | wenzelm | merged | changeset | files |
| Wed, 07 Nov 2018 14:03:47 +0100 | wenzelm | proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e); | changeset | files |
| Wed, 07 Nov 2018 11:08:12 +0000 | haftmann | dedicated examples for sorting | changeset | files |