| Mon, 04 Jan 2021 21:25:40 +0100 | wenzelm | merged | changeset | files |
| Mon, 04 Jan 2021 21:24:15 +0100 | wenzelm | more documentation; | changeset | files |
| Mon, 04 Jan 2021 21:02:46 +0100 | wenzelm | override existing action, to retain menu item; | changeset | files |
| Mon, 04 Jan 2021 20:42:58 +0100 | Manuel Eberl | HOL-Complex_Analysis: coefficient asymptotics for meromorphic functions | changeset | files |
| Mon, 04 Jan 2021 19:41:38 +0100 | Manuel Eberl | HOL-Library: Changed notation for sum_mset | changeset | files |
| Mon, 04 Jan 2021 19:56:33 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Jan 2021 19:28:50 +0100 | wenzelm | proper thread position for reports; | changeset | files |
| Mon, 04 Jan 2021 14:23:43 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 04 Jan 2021 13:40:16 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Mon, 04 Jan 2021 13:23:51 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 04 Jan 2021 13:01:47 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 03 Jan 2021 23:16:32 +0100 | wenzelm | alternative shortcut, notably for macOS; | changeset | files |
| Sun, 03 Jan 2021 23:06:37 +0100 | wenzelm | action isabelle.toggle-full-screen; | changeset | files |
| Sun, 03 Jan 2021 23:01:16 +0100 | wenzelm | some attempts at multi-platform full-screen mode; | changeset | files |
| Sun, 03 Jan 2021 22:06:19 +0100 | wenzelm | more operations; | changeset | files |
| Sun, 03 Jan 2021 16:21:59 +0100 | wenzelm | clarified HTML presentation elements; | changeset | files |
| Sun, 03 Jan 2021 12:11:56 +0100 | wenzelm | more robust bootstrap: Isabelle-jEdit.shasum could be absent; | changeset | files |
| Sat, 02 Jan 2021 23:03:47 +0100 | wenzelm | tuned whitespace (amending a4bffc0de967); | changeset | files |
| Sat, 02 Jan 2021 22:50:09 +0100 | wenzelm | clarified caching; | changeset | files |
| Sat, 02 Jan 2021 22:40:06 +0100 | wenzelm | persistent hash code: much faster caching; | changeset | files |
| Sat, 02 Jan 2021 22:22:34 +0100 | wenzelm | clarified signature: absorb XZ.Cache into XML.Cache; | changeset | files |
| Sat, 02 Jan 2021 20:56:08 +0100 | wenzelm | support more direct hash-consing via XML.Cache; | changeset | files |
| Sat, 02 Jan 2021 16:39:07 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 02 Jan 2021 16:30:43 +0100 | wenzelm | tuned signature; | changeset | files |