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
2002-07-18
Move fileshow code into lib
David Aspinall
2002-07-18
hack_html: Make internal links use short-cut url if given
David Aspinall
2002-07-15
Add stuff for alternative DTD
David Aspinall
2002-07-13
Fix link in mozilla in click_to_go_back.
David Aspinall
2002-07-13
Use proofgeneral.org mailing addresses again.
David Aspinall
2001-05-08
Repair link via htmlshow.php
David Aspinall
2001-05-01
Link to php files instead of html
David Aspinall
2001-03-20
Changes to use proofgen@dcs for now instead of broken proofgeneral.org
David Aspinall
2000-09-29
Click to go back links to root.
David Aspinall
2000-09-29
Remove link_root nonsense
David Aspinall
2000-09-28
Moved to use .html instead of .phtml
David Aspinall
2000-09-27
Updated web pages, misc improvements.
David Aspinall
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