Changes between Version 35 and Version 36 of howto
- Timestamp:
- Jun 25, 2008, 4:49:48 AM (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
howto
v35 v36 18 18 * [wiki:howto/ParallelBuilding How to enable parallel building] 19 19 * [wiki:howto/InstallingOlderPort How to install an older version of a port] 20 * [wiki:howto/ShareArchives How to share archives between computers] 20 21 21 22 * Software setup: … … 47 48 * [wiki:howto/build64bit How to build 64-bit binaries] (unwritten) 48 49 * [wiki:howto/SetupProofGeneral How to setup ProofGeneral and Isabelle] 49 * [wiki:howto/ShareArchives How to share archives between computers]50 50 51 51 There is also a [wiki:howto/Template Template] for new HOWTOs.