| #
4761143b |
|
10-Aug-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Removed trailing whitespace from all .sml and .sig files.
This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!
|
| #
8b1fe4f8 |
|
27-Nov-2008 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Various updates, tweaks and fixes in preparation for Matt's visit
|
| #
8ff26918 |
|
03-Oct-2006 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Interim checkin. Some code reorganised and preliminary support for ACL2
ENCAPSULATE and MUTUAL-RECURSION events added.
|
| #
ef674b63 |
|
20-Jun-2006 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Getting things to work with the new improved naming scheme.
(e.g. COMMON-LISP::= is now called common_lisp_equal rather than acl2_equal,
and definitions proviously named *_acl2_defun are now stored as *_def).
|
| #
31df839c |
|
16-Dec-2005 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
ML files to support HOL-ACL2 link
|