Changes between Version 34 and Version 35 of howto


Ignore:
Timestamp:
Jun 25, 2008, 2:38:31 AM (12 years ago)
Author:
alex.malinovich@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • howto

    v34 v35  
    4747  * [wiki:howto/build64bit How to build 64-bit binaries] (unwritten)
    4848  * [wiki:howto/SetupProofGeneral How to setup ProofGeneral and Isabelle]
     49  * [wiki:howto/ShareArchives How to share archives between computers]
    4950
    5051There is also a [wiki:howto/Template Template] for new HOWTOs.