Changes between Version 2 and Version 3 of AssemblerFormalisation


Ignore:
Timestamp:
Jun 27, 2011, 12:26:48 PM (8 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • AssemblerFormalisation

    v2 v3  
    55  * The files themselves.
    66
    7 The latest SVN version of Matita can be obtained by executing the following command in a shell:
     7The latest SVN version of Matita can be obtained by executing the following command in a shell, assuming a local installation of Subversion and SSH:
     8
     9  svn+ssh://cerco.cs.unibo.it/srv/svn/helm/trunk/matita
    810
    911The latest development files can be obtained by clicking on the "latest.tar.bz2" attachment at the bottom of this page.