Menu

Commit [r787]  Maximize  Restore  History

Fixed flora_shell, so it'll always call _$_$_flora_shell in flrshell.P.

(Previously, there were cases when it won't.)

kifer 1999-05-25

changed /trunk/XSB/packages/flora.P
/trunk/XSB/packages/flora.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB