Menu

Src (SVN)-old Commit Log


Commit Date  
[r2554] by lfcastro

* minor modification

2001-07-05 16:49:01 Tree
[r2553] by lfcastro

* Make local the default scheduling strategy

2001-07-05 16:42:10 Tree
[r2552] by tswift

Added nmr, which contains xnmr, gaps and wfsx.

2001-07-05 15:07:51 Tree
[r2551] by kifer

small bugfixes

2001-07-05 04:27:35 Tree
[r2550] by kifer

added a note on Flora
a note on libwww config

2001-07-05 04:01:27 Tree
[r2549] by kifer

Took the libwww configuration stuff out of the configure script and made it
into a separate config script

2001-07-05 03:44:47 Tree
[r2548] by uid23157

Many changes, to include more standard predicates, to describe tabled
dcgs, to remove unneeded appendices, to begin to add Luis' xnmr, and to rectify manual indexes.

2001-07-04 20:47:17 Tree
[r2547] by uid23157

Added import declaration for display/1

2001-07-04 13:59:23 Tree
[r2546] by uid23157

Small change to get_codes/2

2001-07-04 13:54:25 Tree
[r2545] by gmkp

New justifier.

2001-07-03 22:37:17 Tree
Older >
MongoDB Logo MongoDB