26 Commits

Author	SHA1	Message	Date
waldemar%netscape.com	13854c549b	First version	2002-10-14 23:16:15 +00:00
waldemar%netscape.com	49ac14b7f4	Added support for float32; made float32 and float64 disjoint from rational numbers; misc. numeric primitive changes	2002-09-25 23:49:12 +00:00
waldemar%netscape.com	477b09de7f	First version	2002-09-25 23:48:38 +00:00
waldemar%netscape.com	09d1bef838	Obsolete	2002-07-13 00:52:10 +00:00
waldemar%netscape.com	6345b989c5	Updated license	2002-02-04 21:13:45 +00:00
waldemar%netscape.com	f7d2f1801e	Initial version	2002-01-17 01:27:53 +00:00
waldemar%netscape.com	3dc230b926	Replaced append by cons	2001-12-20 01:07:52 +00:00
waldemar%netscape.com	316ce83544	Replaced %section and %subsection by %heading with an adjustable level number	2001-10-19 23:18:03 +00:00
waldemar%netscape.com	ca9cb1a4f4	Test of writable actions	2001-10-17 03:55:46 +00:00
waldemar%netscape.com	5874bbb78e	Updated for new syntax	2001-10-17 03:55:25 +00:00
waldemar%netscape.com	2fc37b5493	Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements.	2001-09-10 22:10:36 +00:00
waldemar%netscape.com	0974f0ff72	Brought up to date	2001-08-11 06:53:35 +00:00
waldemar%netscape.com	717626b7d7	Added truncate-finite-float64 and compare	2001-08-10 23:27:43 +00:00
waldemar%netscape.com	97b9e110fc	Big switchover to Algol-style semantics	2001-04-12 04:33:39 +00:00
waldemar%netscape.com	cee3bc879e	Fixed syntax of (bottom)	2000-04-28 02:30:44 +00:00
waldemar%netscape.com	9c8cec86f9	First Checked In.	2000-04-28 02:30:19 +00:00
waldemar%netscape.com	2e91b03fa0	First Checked In.	1999-12-04 05:01:34 +00:00
waldemar%netscape.com	2ad31160d0	File Removed.	1999-12-04 05:01:06 +00:00
waldemar%netscape.com	013b5906b0	First Checked In.	1999-12-03 22:49:10 +00:00
waldemar%netscape.com	a4ec14d393	Updated to work under Allegro Common Lisp	1999-11-20 02:16:56 +00:00
waldemar%netscape.com	66b4ace8f4	Updated to Mozilla 1.1 license	1999-11-03 03:58:07 +00:00
waldemar%netscape.com	ae9043e328	Changed bottom expressions to syntax error throws	1999-10-20 20:58:07 +00:00
waldemar%netscape.com	30f65ba3aa	Removed types from bottom expressions	1999-10-20 02:27:53 +00:00
waldemar%netscape.com	d092c9ad87	First Checked In.	1999-10-20 02:27:34 +00:00
waldemar%netscape.com	2de968d05f	First Checked In.	1999-07-27 00:57:03 +00:00
waldemar%netscape.com	9ed3b2bfd9	First Checked In.	1999-06-03 20:53:14 +00:00