| Fri, 15 Jul 2011 13:29:00 +0200 | wenzelm | less ambitious ProofGeneral markup, which occasionally breaks plain-old regexps in elisp; | changeset | files |
| Fri, 15 Jul 2011 13:28:16 +0200 | wenzelm | more robust Binding.pretty/print in typical error sitations with spaces etc. (NB: markup can only provide *additional* emphasis and is occasionally suppressed in TTY mode or tooltips); | changeset | files |
| Fri, 15 Jul 2011 00:49:38 +0200 | wenzelm | more visible printing of empty binding; | changeset | files |
| Fri, 15 Jul 2011 00:03:47 +0200 | wenzelm | do not check vacous bindings, which routinely occur in locale expressions and long theorem statements etc.; | changeset | files |