Граф коммитов

27 Коммитов

Автор SHA1 Сообщение Дата
gerv%gerv.net 5956d34127 Bug 236613: change to MPL/LGPL/GPL tri-license. 2005-12-13 13:25:40 +00:00
waldemar%netscape.com 13711ab3de First version 2002-10-14 23:16:15 +00:00
waldemar%netscape.com a9bca0a3dc 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 0d43ded4f6 First version 2002-09-25 23:48:38 +00:00
waldemar%netscape.com 3f40dc75f7 Obsolete 2002-07-13 00:52:10 +00:00
waldemar%netscape.com 4aa7515a51 Updated license 2002-02-04 21:13:45 +00:00
waldemar%netscape.com 74a0f7de1a Initial version 2002-01-17 01:27:53 +00:00
waldemar%netscape.com f65fa0adcf Replaced append by cons 2001-12-20 01:07:52 +00:00
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 788cbe5c15 Test of writable actions 2001-10-17 03:55:46 +00:00
waldemar%netscape.com d2986d85ca Updated for new syntax 2001-10-17 03:55:25 +00:00
waldemar%netscape.com 589c6baca5 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 8dd68f5e16 Brought up to date 2001-08-11 06:53:35 +00:00
waldemar%netscape.com 62d960e8ba Added truncate-finite-float64 and compare 2001-08-10 23:27:43 +00:00
waldemar%netscape.com 8cfc11f0ad Big switchover to Algol-style semantics 2001-04-12 04:33:39 +00:00
waldemar%netscape.com ef5540e948 Fixed syntax of (bottom) 2000-04-28 02:30:44 +00:00
waldemar%netscape.com 5e5a923879 First Checked In. 2000-04-28 02:30:19 +00:00
waldemar%netscape.com 09fd8db28a First Checked In. 1999-12-04 05:01:34 +00:00
waldemar%netscape.com d1a96fc050 File Removed. 1999-12-04 05:01:06 +00:00
waldemar%netscape.com f4d100a1e2 First Checked In. 1999-12-03 22:49:10 +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 60174b9647 Changed bottom expressions to syntax error throws 1999-10-20 20:58:07 +00:00
waldemar%netscape.com d4bbf7cd7e Removed types from bottom expressions 1999-10-20 02:27:53 +00:00
waldemar%netscape.com b55f9ec5ab First Checked In. 1999-10-20 02:27:34 +00:00
waldemar%netscape.com bb32acd59c First Checked In. 1999-07-27 00:57:03 +00:00
waldemar%netscape.com f5030b54ec First Checked In. 1999-06-03 20:53:14 +00:00