9 Коммитов

Автор	SHA1	Сообщение	Дата
waldemar%netscape.com	58832bbcea	Replaced %section and %subsection by %heading with an adjustable level number	2001-10-19 23:18:03 +00:00
waldemar%netscape.com	f8b3a4a6aa	Renamed truncate-float64 to truncate-finite-float64	2001-08-10 23:26:50 +00:00
waldemar%netscape.com	deb4e04838	Renamed double to float64	2001-03-01 05:32:08 +00:00
waldemar%netscape.com	134c6fefaf	Updated to work under Allegro Common Lisp	1999-11-20 02:16:56 +00:00
waldemar%netscape.com	cda16b1c7d	Updated to Mozilla 1.1 license	1999-11-03 03:58:07 +00:00
waldemar%netscape.com	8bf0421c92	Removed rational-to-integer and types in bottom calls, which were replaced by semantic subtyping	1999-10-20 00:42:17 +00:00
waldemar%netscape.com	a47778dc21	Updated for recent semantic engine changes	1999-07-27 01:05:27 +00:00
waldemar%netscape.com	62f4bd3d68	Renamed != to /= and lambda to function.	1999-05-17 05:10:41 +00:00
waldemar%netscape.com	8d82dede5e	First Checked In.	1999-05-10 20:52:58 +00:00