7 commits

Author	SHA1	Message	Date
Marius Vollmer	935c72a554	Removed caveat of pretty-print using its own 'write' implementation.	2004-08-09 21:53:03 +00:00
Neil Jerram	6dd447a368	Exchange of manual enhancements between stable and unstable branches.	2002-03-27 21:48:16 +00:00
Neil Jerram	5a5464e533	* Docstring fixes and corresponding manual updates.	2002-03-15 09:23:19 +00:00
Neil Jerram	f21272c4e0	Backport minor/trivial enhancements from unstable CVS branch.	2002-03-12 20:51:25 +00:00
Thien-Thi Nguyen	7492b00e67	Spell check.	2002-01-08 09:22:37 +00:00
Martin Grabmüller	201e2170f3	Some cosmetic doc fixes.	2001-09-26 17:25:39 +00:00
Neil Jerram	a0e07ba4ec	* Organize documentation into per-manual directories (halfway point commit).	2001-08-24 09:40:29 +00:00