| Thu, 08 Nov 2018 12:32:06 +0100 | wenzelm | more uniform (see 1722cc56d22e); | changeset | files |
| Thu, 08 Nov 2018 09:11:52 +0100 | haftmann | removed relics of ASCII syntax for indexed big operators | changeset | files |
| Wed, 07 Nov 2018 23:03:45 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 07 Nov 2018 22:38:38 +0100 | wenzelm | obsolete; | changeset | files |
| 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 |