Menu

Src (SVN)-old Commit Log


Commit Date  
[r938] by kifer

fixed a glitch in syntactic highlighting

1999-06-24 04:46:35 Tree
[r937] by kifer

put "." after isa atoms.

1999-06-24 00:09:36 Tree
[r936] by kostis

*** empty log message ***

1999-06-23 21:35:34 Tree
[r935] by kostis

Changes to have more meaningful error messages in case of arithmetic
expressions or comparisons.

1999-06-23 21:26:03 Tree
[r934] by kostis

Changes to speed up definition and use of specialized unification.

1999-06-23 19:50:51 Tree
[r933] by kifer

*** empty log message ***

1999-06-23 07:03:26 Tree
[r932] by kifer

allowed *=> in syntax, but not in compilation

1999-06-23 07:00:47 Tree
[r931] by kifer

Fixed bug with the %S format.

1999-06-23 04:34:53 Tree
[r930] by kifer

small fixes

1999-06-23 03:49:05 Tree
[r929] by kifer

Inserted ground checks before tnot's in inheritance.

1999-06-23 00:22:08 Tree
Older >
MongoDB Logo MongoDB