#
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
|