Menu

Src (SVN)-old Commit Log


Commit Date  
[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
[r941] by kostis

Small change after a suggestion by Michael Kifer.

1999-06-25 21:23:56 Tree
[r940] by kifer

Can now run flora as inferior emacs process

1999-06-25 05:30:25 Tree
[r939] by kostis

Some more changes to report meaningful things in arithmetic exceptions
(dealt with bit operations this time).

1999-06-24 14:13:49 Tree
[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
Older >
MongoDB Logo MongoDB