| Age | Commit message (Collapse) | Author |
|---|
|
|
|
unfortunately)
|
|
|
|
assistant
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Simplified face configuration by using auxiliary macro.
Now also works for gtk-xemacs.
Experimented with removing spurious face alias constants.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
completion-table: use isar-keywords-major;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
removed proof-indent-commands-regexp;
|
|
now enabled by default;
|
|
|
|
|
|
|
|
isar-preprocessing).
|
|
functionality now in Isabelle's update_thy for PG
|
|
|
|
|
|
|
|
|
|
Added completion for Isar keywords and X-symbol token names.
|
|
|
|
isar-global-save-command-p: more robust wrt. empty prev span (malformed!?);
isar-preprocessing: fixed terminator regexp;
|
|
|
