| #
26d05e48 |
|
24-Aug-2010 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Preliminary importing of J Moore's M1 model of the JVM in ACL2 into
HOL. See the READ-ME file for further details.
For some reason that I don't understand "svn ci" complained:
svn: File 'M1/Holmake.log' has inconsistent newlines
svn: Inconsistent line ending style
[Attempting to fix by changing MIME type to binary]
|