11 Commits

Author	SHA1	Message	Date
aarne	e9e80fc389	changed names of resource-1.3; added a note on homepage on release	2008-06-25 16:54:35 +00:00
aarne	b96b36f43d	removed src for 2.9	2008-06-25 16:43:48 +00:00
aarne	1d372525ea	Constructors documented	2006-11-21 18:18:54 +00:00
aarne	5bf9a7fe70	BinTree vs. FiniteMap	2005-05-30 17:39:43 +00:00
bringert	5c9917ff8d	Fixed module names and imports after giant file move.	2005-04-21 15:21:02 +00:00
peb	9568d7a844	"Committed_by_peb"	2005-02-18 18:21:06 +00:00
peb	9afbd25b64	"Committed_by_peb"	2005-02-09 19:45:54 +00:00
peb	6381f3a998	"Committed_by_peb"	2005-02-04 09:10:28 +00:00
aarne	1ca54cca20	Unicode. Batch transl into HTML.	2004-01-28 12:42:20 +00:00
aarne	c985dab565	Putting def definitions in place.	2003-10-01 12:46:44 +00:00
aarne	b1402e8bd6	Founding the newly structured GF2.0 cvs archive.	2003-09-22 13:16:55 +00:00