From ab054c757e8d0cde207233a37e4a18fdf598c6af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Jul 1999 11:39:39 +0000
Subject: Notes about php functions.

---
 html/notes.txt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'html')

diff --git a/html/notes.txt b/html/notes.txt
index d1fbdc6e..3698a1e6 100644
--- a/html/notes.txt
+++ b/html/notes.txt
@@ -1,9 +1,26 @@
 Developers' Notes about Web Pages
 ---------------------------------
 
+Notes about php:
+
+Some functions I've written
+
+ <?php link_root("pagename","text")?>
+ <?php hlink("html file","text","status message")?>
+
+NB: no space after text in each case so you must write
+ 
+   <?php ... ?> blah 
+
+to get a space.  Don't put "blah" onto a new line, space will
+be lost!
+
+
 *************
 
 Tell Thomas (& other folk?) to update his home page links to Proof General.
+[Probably okay: Thomas links to image in home directory, but we'll
+ keep that as a copy of images/ProofGeneral.jpg]
 
 *************
 
-- 
cgit v1.2.3