index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
html
/
functions.php3
Commit message (
Expand
)
Author
Age
*
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-18
*
Add stuff for alternative DTD
David Aspinall
2002-07-15
*
Fix link in mozilla in click_to_go_back.
David Aspinall
2002-07-13
*
Use proofgeneral.org mailing addresses again.
David Aspinall
2002-07-13
*
Repair link via htmlshow.php
David Aspinall
2001-05-08
*
Link to php files instead of html
David Aspinall
2001-05-01
*
Changes to use proofgen@dcs for now instead of broken proofgeneral.org
David Aspinall
2001-03-20
*
Click to go back links to root.
David Aspinall
2000-09-29
*
Remove link_root nonsense
David Aspinall
2000-09-29
*
Moved to use .html instead of .phtml
David Aspinall
2000-09-28
*
Updated web pages, misc improvements.
David Aspinall
2000-09-27
*
Minor changes and improvements
David Aspinall
2000-09-13
*
Improved links, new project on ACS.
David Aspinall
2000-03-19
*
Only set page title if not already set
David Aspinall
2000-03-09
*
Put projects onto separate pages.
David Aspinall
2000-02-29
*
Fix HTML errors by adding name arg to dt() function.
David Aspinall
1999-12-01
*
Fix HTML error with fileshow.
David Aspinall
1999-12-01
*
FIXME comment added
David Aspinall
1999-11-25
*
Updates
David Aspinall
1999-11-16
*
Fixed bug
David Aspinall
1999-10-15
*
Doc fixes, php streamlining
David Aspinall
1999-10-15
*
HTML tweaks
David Aspinall
1999-08-17
*
Validator address fix.
David Aspinall
1999-07-05
*
Tweaks and validation fixes.
David Aspinall
1999-07-03
*
Comment
David Aspinall
1999-07-03
*
Removed hack for texi2html, now using hacked texi2html instead.
David Aspinall
1999-06-30
*
Simple hit counter
David Aspinall
1999-06-30
*
Added pg_title variable
David Aspinall
1999-06-28
*
Support for version 3 browsers added.
David Aspinall
1999-06-24
*
New web pages
David Aspinall
1999-06-24