Changes between Version 1 and Version 2 of AssemblerFormalisation


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

--

Legend:

Unmodified
Added
Removed
Modified
  • AssemblerFormalisation

    v1 v2  
    77The latest SVN version of Matita can be obtained by executing the following command in a shell:
    88
    9 The latest development files can be obtained in tarball format by clicking here.
     9The latest development files can be obtained by clicking on the "latest.tar.bz2" attachment at the bottom of this page.