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 (
Collapse
)
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