4 Commits

Include renames

Author	SHA1	Message	Date
Andreas Fabri	0ce35e88ff	TAU packages	2022-01-26 16:45:19 +00:00
Laurent Rineau	0700232c51	s/Gmpq/Exact_rational/	2014-06-27 15:11:45 +02:00
Efi Fogel	8b99c7b8ca	Deprecated Env_default_diagram_1. Replaced by Envelope_diagram_1	2011-02-24 11:20:04 +00:00
Efi Fogel	55a3872449	removed suffix 'ex_'	2009-07-07 08:08:29 +00:00