Date Author Message
Tue, 4 Dec 2007 15:41:01 GMT paulk 
	    Adding ENTRIES
Sun, 21 Oct 2007 13:48:15 GMT paulk 
	    Changed two titles
Sat, 20 Oct 2007 00:00:00 GMT paulk 
	    Moving ...
Sat, 20 Oct 2007 20:13:16 GMT paulk 
	    More moving.
Fri, 19 Oct 2007 20:27:56 GMT paulk 
	    Switched to biblioref
Thu, 18 Oct 2007 00:00:00 GMT paulk 
	    Added bibliographic citations to our docbook infrastructure
and added citations and a bibliography section to various chapters.
Thu, 11 Oct 2007 12:03:47 GMT paulk 
	    - Adjusted to naming convention.
Wed, 18 Apr 2007 21:08:30 GMT paulk 
	    - Switched from using "link" to "xref".
- Moved figure id's from the mediaobject tot the figure tag.
Sat, 16 Dec 2006 10:57:16 GMT daybuild 
	    * set properties of xml files
Fri, 15 Dec 2006 10:24:27 GMT paulk 
	    - Added the property
     svn:keywords = Date rev Author
  to all docbook files
- Added revision info in the source of each docbook file
Mon, 30 Oct 2006 15:12:18 GMT paulk 
	    Adjusted more TITLEs
Sun, 8 Oct 2006 19:30:49 GMT paulk 
	    - Reshuffled the categories in the main documentation file,
  "Learning about ..." is new and comes first.
- Moved the articles "Understanding term rewriting" and
  "Understanding syntax analysis" to the new "Learning about"
  category (and renamed them accordingly).
- Generalized the script website.sh: the TITLE files in each
  subdirectory now contain plain HTML that is copied to the index page.
  This gives more flexibility and allows, for instance, to add
  explanatory text to each category.
Sat, 7 Oct 2006 21:07:04 GMT paulk 
	    - Added a section called "the role of term rewriting in The
  Meta-Environment".
- Added an extra figure in the introduction.
Wed, 4 Oct 2006 00:00:00 GMT paulk 
	    Fixed <info> error
Tue, 3 Oct 2006 23:55:02 GMT paulk 
	    Fixed author field
Tue, 3 Oct 2006 22:14:19 GMT paulk 
	    Yet another wrong '
Tue, 3 Oct 2006 21:57:49 GMT paulk 
	    Fixed errors in single quote character
Tue, 3 Oct 2006 21:51:33 GMT paulk 
	    Converted to Docbook V5.0
Sun, 1 Oct 2006 15:35:56 GMT paulk 
	    Completed a first complete version.
Sun, 1 Oct 2006 13:34:21 GMT paulk 
	    Completed first version of this article
Sat, 30 Sep 2006 23:33:12 GMT paulk 
	    Added new figures.
Continued with text.
Fri, 29 Sep 2006 22:49:33 GMT paulk 
	    Continued.
Fri, 29 Sep 2006 14:30:49 GMT paulk 
	    Extra sections added
Fri, 29 Sep 2006 14:21:23 GMT paulk 
	    Started with Understanding term rewriting.