- - + about any development issues.
-Please register if you haven't done so already. +Please register if you haven't done so already.
diff --git a/html/doc.html b/html/doc.html index e8ae6b98..5ad6b433 100644 --- a/html/doc.html +++ b/html/doc.html @@ -20,7 +20,7 @@ menu. It should also appear in the system Info pages.You can discuss Proof General with other users and receive -announcements by joining our mailing +announcements by joining our mailing list.
diff --git a/html/features.html b/html/features.html index 372ab17b..ad86b3ac 100644 --- a/html/features.html +++ b/html/features.html @@ -28,7 +28,7 @@ you'd like an interface with the following features...Take a look at these - screenshots + screenshots of Proof General to see script managament in action.
@@ -119,7 +119,7 @@ proof assistant to add PBP support.") ?>(Those examples are simple so they will work on most browsers without needing images, see the - screenshots for more examples.) + screenshots for more examples.)
@@ -171,7 +171,7 @@ proof assistant to add PBP support.") ?>
Please feel free to download Proof General to customize it for a new system, and - + how you get on. diff --git a/html/fileshow.html b/html/fileshow.html index a13857e7..94df8538 100644 --- a/html/fileshow.html +++ b/html/fileshow.html @@ -13,9 +13,9 @@ substr($filename,0,1)=="~") { print "Sorry, can't show you that file!\n"; } elseif (substr($filename,-3)==".el") { - elisp_markup($filename,"fileshow.phtml"); + elisp_markup($filename,"fileshow.html"); } else { - outline_markup($filename,"fileshow.phtml",$expanded); + outline_markup($filename,"fileshow.html",$expanded); } print "\n"; print ""; diff --git a/html/functions.php3 b/html/functions.php3 index 28130564..1b9bfbe0 100644 --- a/html/functions.php3 +++ b/html/functions.php3 @@ -116,7 +116,7 @@ function date_modified($filename) { /* A link to one of the main pages (must appear in navbar menu) */ function link_root($page,$text) { - print ""; + print ""; print $text; print ""; } @@ -124,22 +124,22 @@ function link_root($page,$text) { function small_header($title) { print $dtd; print ""; - include('head.phtml'); - include('smallheader.phtml'); + include('head.html'); + include('smallheader.html'); print "
" . $title . "
\n\n\n"; } function small_header_body($title) { - include('smallheader.phtml'); + include('smallheader.html'); print "" . $title . "
\n\n\n"; /* print ""; FIXME: hack to get CSS to work with bad HTML from texi2html */ } /* FIXME: remove this function: maybe just set a global variable, - or use SCRIPT_NAME, and then include footer.phtml. */ + or use SCRIPT_NAME, and then include footer.html. */ function footer($filemodified=".") { - include('footer.phtml'); + include('footer.html'); date_modified($filemodified); print "\n"; // print "\n"; /* Naughty stuff for older browsers, shouldn't do if V4 */ @@ -148,7 +148,7 @@ function footer($filemodified=".") { } function click_to_go_back() { - print "
\nClick here to go back to the "; + print "
\nClick here to go back to the "; print $project_title; // FIXME: doesn't work. print " front page.
\n"; } @@ -161,7 +161,7 @@ function fileshow($filename,$text="",$title="") { $message=$title; if ( $message == "") { $message=$filename; }; $titlecode = ($title == "" ? "" : "&title=" . urlencode($title)); - hlink("fileshow.phtml?file=" . urlencode($filename) . $titlecode, + hlink("fileshow.html?file=" . urlencode($filename) . $titlecode, $text, $message); } @@ -173,7 +173,7 @@ function htmlshow($filename,$text="",$title="") { $message=$title; if ( $message == "") { $message=$filename; }; $urlbits = parse_url($filename); - hlink("htmlshow.phtml" + hlink("htmlshow.html" . "?title=" . urlencode($title) . "&file=" . urlencode($urlbits["path"]) . ($urlbits["fragment"]=="" ? "" : "#" . $urlbits["fragment"]), @@ -196,7 +196,7 @@ function markup_plain_text($filename) { } /* Hack an html file to be shown with our style sheet - and hack relative links to go via htmlshow.phtml. + and hack relative links to go via htmlshow.html. This isn't particularly robust, but seems to work for the output of texi2html. */ @@ -233,7 +233,7 @@ function hack_html($filename,$title="") { if ($urlbits["host"]=="") { /* Assume a relative link, let's hack it. */ /* Use same title */ - $newurl = "htmlshow.phtml?title=" . urlencode($title); + $newurl = "htmlshow.html?title=" . urlencode($title); if ($urlbits["path"]=="") { /* A fragment in same file */ $newurl = $newurl . "&file=" @@ -272,7 +272,7 @@ function smallpage($filename,$text="",$title="",$message="") { if ( $message == "") { $message=$title; }; if ( $message == "") { $message=$filename; }; $urlbits = parse_url($filename); - hlink("smallpage.phtml" + hlink("smallpage.html" . "?title=" . urlencode($title) . "&file=" . urlencode($urlbits["path"]) . ($urlbits["fragment"]=="" ? "" : "#" . $urlbits["fragment"]), diff --git a/html/gallery.html b/html/gallery.html index e433da8a..d11c8957 100644 --- a/html/gallery.html +++ b/html/gallery.html @@ -23,13 +23,13 @@ Please do not publish the images or incorporate them into other work without his permission. If you have comments or suggestions, or if you would like a copy of one of the images in another size or format, -please contact us. +please contact us.For pictures of what Proof General looks like in use, -see the screenshots page. +see the screenshots page.
@@ -60,7 +60,7 @@ A nice poster for your wall or door.New Recruits Wanted
This is a request for help with the Proof General project.
-Please sign up here! +Please sign up here!
-
+
diff --git a/html/index.shtml b/html/index.shtml
index 30b85d89..06e59a0d 100644
--- a/html/index.shtml
+++ b/html/index.shtml
@@ -1,3 +1,3 @@
-
+
diff --git a/html/links.html b/html/links.html
index 32ac9782..634a5db7 100644
--- a/html/links.html
+++ b/html/links.html
@@ -3,7 +3,7 @@
Here are some links to related things.
If you have any suggestions
for links to include here, please
-.
+.
|
-For more pictures, see the Proof General gallery. +For more pictures, see the Proof General gallery.
diff --git a/html/smallheader.html b/html/smallheader.html index 8cf93a42..62c2412c 100644 --- a/html/smallheader.html +++ b/html/smallheader.html @@ -1,7 +1,7 @@
-
+
|
--
cgit v1.2.3