index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
html
/
functions.php3
Age
Commit message (
Expand
)
Author
2000-09-13
Minor changes and improvements
David Aspinall
2000-03-19
Improved links, new project on ACS.
David Aspinall
2000-03-09
Only set page title if not already set
David Aspinall
2000-02-29
Put projects onto separate pages.
David Aspinall
1999-12-01
Fix HTML errors by adding name arg to dt() function.
David Aspinall
1999-12-01
Fix HTML error with fileshow.
David Aspinall
1999-11-25
FIXME comment added
David Aspinall
1999-11-16
Updates
David Aspinall
1999-10-15
Fixed bug
David Aspinall
1999-10-15
Doc fixes, php streamlining
David Aspinall
1999-08-17
HTML tweaks
David Aspinall
1999-07-05
Validator address fix.
David Aspinall
1999-07-03
Tweaks and validation fixes.
David Aspinall
1999-07-03
Comment
David Aspinall
1999-06-30
Removed hack for texi2html, now using hacked texi2html instead.
David Aspinall
1999-06-30
Simple hit counter
David Aspinall
1999-06-28
Added pg_title variable
David Aspinall
1999-06-24
Support for version 3 browsers added.
David Aspinall
1999-06-24
New web pages
David Aspinall