| Commit message (Collapse) | Author | Age |
... | |
|
|
|
| |
Added proof-unnamed-theorem-name.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Would be nice to add more theorems to compare scripts in different
systems.
|
|
|
|
| |
is less confusing);
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-goals-buffer)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
o removed hhg tags in todo
o fixed font-lock for FSF Emacs 20.2
o ensured that goals buffer is updated for longer queues
o fixed a bug in proof-universal-keys-only-mode
|
|
|
|
| |
reserved for goals.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Removed font-lock-<newface> with proof-<newface> so we
know where things come from and won't break future font locks.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Removed {lego,proof}-assistant setting (now automatic)
Removed {lego,proof}-global-p settings (proof now allows nil).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
These are no longer displayed in the *GOALS* buffer.
|
| |
|
| |
|
| |
|
| |
|
|
|