[isabelle] Autocompletion in 2013-1


I have upgraded to 2013-1, and found that autocompletion did not work as
      * Previously, I could type "bul<TAB>" to get ∙, now I have to
        write "\bul<TAB>" or "\<bul<TAB>".
      * There were very useful shortcuts like "=_<TAB>" for \<^bsub>,
        these seem to be missing right now.

Is that just a stetting somewhere whose default has changed or is there
a deeper reason and a new way to enter such things efficiently?


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

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