Custom Query (361 matches)

proof-shell-trace-output-regexp appears visually in the *trace* buffer.

For example (in Isabelle):

ML_command {* tracing "foo" *}

Results in

\^AVfoo

Another example with extra term markup, which is displayed properly after the initial garbage:

ML_command {* tracing (Syntax.string_of_term_global @{theory} @{term "x == y"}) *}

GNU Emacs 22.2.1 (x86_64-suse-linux-gnu) of 2008-09-12 on hammer22

Starting up in tty mode fails:

Debugger entered--Lisp error: (wrong-type-argument stringp cdr)
  intern(cdr)
  easy-menu-create-keymaps(if ((consp menu) (cdr menu) menu))
  easy-menu-create-keymaps(let (((menu ...)) (if (consp menu) (cdr menu) menu))$
  easy-menu-create-keymaps(lambda ((&rest junk) (let (...) (if ... ... menu))))
  easy-menu-create-keymaps("Customize" (:filter (lambda (&rest junk) (let ... .$
  easy-menu-create-keymaps("Custom" (("Customize" :filter (lambda ... ...)) ["S$

This is GNU Emacs 22.1.1 on Cygwin.

Here startup fails: Cannot open load file: easymenu