| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
Closes ProofGeneral/PG#177
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
'make check' to get errors
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
warning should not stop compilation).
|
| |
|
| |
|
|
|
|
|
| |
runtime. Most of these are spurious (come from autoloads; byte comp seems
to give these higher priority than declarations in same file).
|
| |
|
|
|
|
| |
http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
files from Makefile.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|