Changes between Version 34 and Version 35 of howto
- Timestamp:
- Jun 25, 2008, 2:38:31 AM (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
howto
v34 v35 47 47 * [wiki:howto/build64bit How to build 64-bit binaries] (unwritten) 48 48 * [wiki:howto/SetupProofGeneral How to setup ProofGeneral and Isabelle] 49 * [wiki:howto/ShareArchives How to share archives between computers] 49 50 50 51 There is also a [wiki:howto/Template Template] for new HOWTOs.