| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
| |
FIXMEs.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
before?
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
isar-activate-scripting: proof-syn-cd (why is this here needed?);
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
added script version;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
their own copy of this file);
|
| |
|
|
|
|
| |
ISABELLE_HOME/etc/isar-keywords.el if available;
|