Changes between Version 5 and Version 6 of AssemblerFormalisation


Ignore:
Timestamp:
Jun 27, 2011, 12:28:10 PM (7 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • AssemblerFormalisation

    v5 v6  
    99  !svn+ssh://cerco.cs.unibo.it/srv/svn/helm/trunk/matita
    1010
    11 The latest development files can be obtained by clicking on the "latest.tar.bz2" attachment at the bottom of this page.  The bulk of the development is found in the file "AssemblyProof.ma".
     11The latest development files can be obtained by clicking on the "latest.tar.bz2" attachment at the bottom of this page.  The bulk of the development is found in the file "!AssemblyProof.ma".