Changes between Initial Version and Version 4 of Ticket #1
- Timestamp:
- Feb 22, 2007, 6:47:06 PM (17 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #1
-
Property
Status
changed from
new
toclosed
- Property Reporter changed from anonymous to David Aspinall
-
Property
Resolution
changed from
to
fixed
-
Property
Component
changed from
proofgeneral-eclipse
towebpages
- Property Owner changed from somebody to David Aspinall
-
Property
Type
changed from
defect
toenhancement
-
Property
Status
changed from
-
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. 1 Get trac working for Proof General.