Menu

Src (SVN)-old Commit Log


Commit Date  
[r951] by cbaoqiu

Changed release date to 1999-06-27.

1999-06-27 02:23:16 Tree
[r950] by kifer

Fixed bug, which caused consulting wrong files.

1999-06-27 02:13:01 Tree
[r949] by kifer

minor fixes

1999-06-27 01:39:31 Tree
[r948] by kifer

Added explanation about assert/retract and tabling

1999-06-27 01:38:00 Tree
[r947] by kifer

Added info on flora editing mode to the manual.

1999-06-26 17:53:58 Tree
[r946] by kifer

more menu options

1999-06-26 15:55:20 Tree
[r945] by kifer

Deleted flora_prettyprint/2: not useful to print into a file

1999-06-26 05:03:56 Tree
[r944] by kifer

Minor fixes to manual; added menus to flora emacs mode.

1999-06-26 05:03:11 Tree
[r943] by kifer

made print_pterm return void and increased buff size in the arithmetic
exception functions.

1999-06-26 05:01:37 Tree
[r942] by cbaoqiu

Fixed an index.

1999-06-25 23:47:54 Tree
Older >
MongoDB Logo MongoDB