New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Changes between Version 34 and Version 35 of howto


Ignore:
Timestamp:
06/24/08 19:38:31 (5 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.