5 commits

Author	SHA1	Message	Date
Neil Jerram	895a839792	Structural changes for alignment with unstable branch.	2002-04-01 18:37:00 +00:00
Neil Jerram	57827fe096	Improve doc on symbols.	2002-04-01 14:34:20 +00:00
Neil Jerram	4f694e31cc	Manual changes for deprecated items; merges from unstable branch.	2002-03-29 20:11:13 +00:00
Neil Jerram	5a5464e533	* Docstring fixes and corresponding manual updates.	2002-03-15 09:23:19 +00:00
Neil Jerram	a0e07ba4ec	* Organize documentation into per-manual directories (halfway point commit).	2001-08-24 09:40:29 +00:00