Changes between Version 35 and Version 36 of howto


Ignore:
Timestamp:
Jun 25, 2008, 4:49:48 AM (12 years ago)
Author:
alex.malinovich@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • howto

    v35 v36  
    1818    * [wiki:howto/ParallelBuilding How to enable parallel building]
    1919    * [wiki:howto/InstallingOlderPort How to install an older version of a port]
     20    * [wiki:howto/ShareArchives How to share archives between computers]
    2021
    2122  * Software setup:
     
    4748  * [wiki:howto/build64bit How to build 64-bit binaries] (unwritten)
    4849  * [wiki:howto/SetupProofGeneral How to setup ProofGeneral and Isabelle]
    49   * [wiki:howto/ShareArchives How to share archives between computers]
    5050
    5151There is also a [wiki:howto/Template Template] for new HOWTOs.