Changes between Version 32 and Version 33 of howto


Ignore:
Timestamp:
Jun 5, 2008, 9:23:07 AM (16 years ago)
Author:
mww@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • howto

    v32 v33  
    4646  * [wiki:howto/Portfile How to start writing a Portfile] (unwritten, requested)
    4747  * [wiki:howto/build64bit How to build 64-bit binaries] (unwritten)
     48  * [wiki:howto/SetupProofGeneral How to setup ProofGeneral and Isabelle]
    4849
    4950There is also a [wiki:howto/Template Template] for new HOWTOs.