| Sat, 14 Jan 2017 21:48:23 +0100 | wenzelm | more options; | changeset | files |
| Sat, 14 Jan 2017 21:29:21 +0100 | wenzelm | do avoid suspicious Unicode; | changeset | files |
| Sat, 14 Jan 2017 20:39:16 +0100 | wenzelm | more standard header; | changeset | files |
| Sat, 14 Jan 2017 20:33:55 +0100 | wenzelm | build docker image from Isabelle application bundle for Linux; | changeset | files |
| Sat, 14 Jan 2017 20:22:15 +0100 | wenzelm | tuned message; | changeset | files |
| Fri, 13 Jan 2017 17:45:51 +0100 | eberlm | Added Circle_Area to HOL-Analysis examples | changeset | files |
| Fri, 13 Jan 2017 11:41:50 +0100 | nipkow | tuned/minimized | changeset | files |
| Thu, 12 Jan 2017 15:54:13 +0100 | blanchet | added lemma | changeset | files |
| Thu, 12 Jan 2017 12:32:32 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 12 Jan 2017 12:29:12 +0100 | wenzelm | more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation; | changeset | files |
| Thu, 12 Jan 2017 11:20:40 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 12 Jan 2017 11:17:05 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 11 Jan 2017 22:30:11 +0100 | haftmann | improved chart plotting | changeset | files |
| Wed, 11 Jan 2017 22:08:20 +0100 | haftmann | augmented user aliasses | changeset | files |
| Wed, 11 Jan 2017 21:32:46 +0100 | haftmann | proper treatment of utf-8 | changeset | files |
| Wed, 11 Jan 2017 20:15:17 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 11 Jan 2017 20:01:55 +0100 | wenzelm | support for semantic completion; | changeset | files |
| Wed, 11 Jan 2017 16:43:31 +0100 | blanchet | generalized types in lemmas | changeset | files |
| Wed, 11 Jan 2017 16:28:48 +0100 | wenzelm | updated package; | changeset | files |
| Wed, 11 Jan 2017 16:25:15 +0100 | wenzelm | enable vscode_unicode_symbols by default, despite asymmetry of input and output; | changeset | files |
| Wed, 11 Jan 2017 16:11:39 +0100 | wenzelm | more documentation; | changeset | files |
| Wed, 11 Jan 2017 16:01:19 +0100 | wenzelm | generated configuration for Prettify Symbols Mode; | changeset | files |
| Wed, 11 Jan 2017 14:48:07 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 11 Jan 2017 14:22:57 +0100 | wenzelm | clarified text output wrt. symbols; | changeset | files |
| Tue, 10 Jan 2017 17:24:15 +0100 | wenzelm | merged | changeset | files |
| Tue, 10 Jan 2017 17:13:01 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 10 Jan 2017 16:53:05 +0100 | wenzelm | support "purge" operation on document model; | changeset | files |
| Tue, 10 Jan 2017 16:09:04 +0100 | wenzelm | proper template; | changeset | files |
| Tue, 10 Jan 2017 16:03:50 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 10 Jan 2017 09:47:23 +0100 | wenzelm | accomodate very big file_models and changed_files; | changeset | files |