Re: [isabelle] RC-3 puts method error after subgoals and warnings in output



Am 14.08.14 09:43, schrieb Peter Lammich:
Currently, the most annoying one is that the current subgoal vanishes in
favour of a "syntax error"-message while you are typing the next
apply-command.
Second that!

Best
    Benedikt




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.