[isabelle-dev] Where are the error messages?

[Dmitriy Traytel]

Hi,

theory Scratch
imports Main
begin

term "True x"
thm "TrueI[OF TrueI]"

end

behaves very strangely in jedit with Isabelle/5dbe537087aa. For both 
commands there is no indication of errors (except of the absence of a 
popup). This seams to apply to all Isar commands involving 
Toplevel.no_timing.

Dmitriy