| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
available.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Move architecture flags to proof-compat
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Protect x-symbol-shell-config against failure of the init-cmd.
|
| |
|
|
|
|
| |
Add x-symbol-version to bug report variables.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Isabelle/Isar
|
| |
|
|
|
|
| |
setting.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
buffer switched.
|
|
|
|
|
|
|
| |
\\s-*$ was matching newlines greedily). Normalize whitespace when
inserting new comments. Allow prefix-arg to texi-docstring-magic
when running interactively, to forgive undefined symbols (handy for
cleaning buffers of @def's).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|