10 Commits

Author SHA1 Message Date
waldemar%netscape.com
4047f11fef Removed license
git-svn-id: svn://10.0.0.236/trunk@113623 18797224-902f-48f8-a5cc-f745e15eee43
2002-02-04 21:09:05 +00:00
waldemar%netscape.com
a7c1ec03f5 Replaced %section and %subsection by %heading with an adjustable level number
git-svn-id: svn://10.0.0.236/trunk@105853 18797224-902f-48f8-a5cc-f745e15eee43
2001-10-19 23:18:03 +00:00
waldemar%netscape.com
205a83af3a Renamed truncate-float64 to truncate-finite-float64
git-svn-id: svn://10.0.0.236/trunk@100843 18797224-902f-48f8-a5cc-f745e15eee43
2001-08-10 23:26:50 +00:00
waldemar%netscape.com
78f428bf2f Renamed double to float64
git-svn-id: svn://10.0.0.236/trunk@88279 18797224-902f-48f8-a5cc-f745e15eee43
2001-03-01 05:32:08 +00:00
waldemar%netscape.com
0685de255a Updated to work under Allegro Common Lisp
git-svn-id: svn://10.0.0.236/trunk@54026 18797224-902f-48f8-a5cc-f745e15eee43
1999-11-20 02:16:56 +00:00
waldemar%netscape.com
9c4cb1eacb Updated to Mozilla 1.1 license
git-svn-id: svn://10.0.0.236/trunk@52667 18797224-902f-48f8-a5cc-f745e15eee43
1999-11-03 03:58:07 +00:00
waldemar%netscape.com
11aeb1c87d Removed rational-to-integer and types in bottom calls, which were replaced by semantic subtyping
git-svn-id: svn://10.0.0.236/trunk@51234 18797224-902f-48f8-a5cc-f745e15eee43
1999-10-20 00:42:17 +00:00
waldemar%netscape.com
a4f0c9a69e Updated for recent semantic engine changes
git-svn-id: svn://10.0.0.236/trunk@41195 18797224-902f-48f8-a5cc-f745e15eee43
1999-07-27 01:05:27 +00:00
waldemar%netscape.com
c3c7fe1739 Renamed != to /= and lambda to function.
git-svn-id: svn://10.0.0.236/trunk@31888 18797224-902f-48f8-a5cc-f745e15eee43
1999-05-17 05:10:41 +00:00
waldemar%netscape.com
f546c6ff6b First Checked In.
git-svn-id: svn://10.0.0.236/trunk@30953 18797224-902f-48f8-a5cc-f745e15eee43
1999-05-10 20:52:58 +00:00