Opened 17 years ago

Closed 17 years ago

Last modified 16 years ago

#1 closed enhancement (fixed)

Try to get trac working for Proof General web

Reported by: David Aspinall Owned by: David Aspinall
Priority: major Milestone:
Component: 6:web-and-docs Keywords:
Cc:

Description (last modified by David Aspinall)

Get trac working for Proof General.

Change History (4)

comment:1 Changed 17 years ago by anonymous

Component: proofgeneral-eclipse → webpages
Owner: changed from somebody to David Aspinall
Type: defect → enhancement

Outstanding:

  • authentication, need <Location> directive for trac/login
  • speed improvements: mod_python or fastcgi

comment:2 Changed 17 years ago by David Aspinall <da+pgtrac@…>

Authentication/login is a priority. At the moment owner fields go back and forth between anonymous and previously assigned user!

comment:3 Changed 17 years ago by David Aspinall

Reporter: changed from anonymous to David Aspinall

comment:4 Changed 17 years ago by David Aspinall

Description: modified (diff)
Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.