| Sun, 18 Feb 2018 19:18:49 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 18 Feb 2018 17:57:14 +0100 | wenzelm | more explicit instantiate_morphism (without checks for typ / term component); | changeset | files |
| Sun, 18 Feb 2018 16:31:56 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 18 Feb 2018 15:05:21 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 17 Feb 2018 20:03:37 +0100 | wenzelm | more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings(); | changeset | files |
| Sat, 17 Feb 2018 19:37:18 +0100 | wenzelm | avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>"; | changeset | files |