diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 13:05:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 13:05:08 +0000 |
| commit | 5c326ac3969d8045c78f46aac4f058f16edbc570 (patch) | |
| tree | 8e413ef9499078f8fe10e03163986e9f7f729f11 /Makefile | |
| parent | 9e875cc8caad464331a0628a037e3d3e30aa4449 (diff) | |
Many rearrangements for compatibility, efficient/correct compilation, namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions