Changes between Initial Version and Version 4 of Ticket #1


Ignore:
Timestamp:
Feb 22, 2007, 6:47:06 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #1

    • Property Status changed from new to closed
    • Property Reporter changed from anonymous to David Aspinall
    • Property Resolution changed from to fixed
    • Property Component changed from proofgeneral-eclipse to webpages
    • Property Owner changed from somebody to David Aspinall
    • Property Type changed from defect to enhancement

  • Ticket #1 – Description

    initial v4  
    1 Try to get trac working for Proof General web: is mod_python enabled for
    2 proofgeneral.inf?  Is it possible to use non-default python lib?
    3 Going to be very brittle!  Also supposed to need python-xml, not installed.
     1Get trac working for Proof General.