/[mojave]/metaprl/library/db.mli
ViewVC logotype

Log of /metaprl/library/db.mli

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 2922 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 16 19:52:02 2000 UTC (21 years, 3 months ago) by lolorigo
File length: 1761 byte(s)
Diff to previous 2494
added/improved functionality for metaprl/jprover/nuprl5 io


Revision 2494 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 13 01:14:08 1998 UTC (22 years, 8 months ago) by jyh
File length: 1646 byte(s)
Diff to previous 2456
I changed all the obvious places of Nuprl-Light, NL, nl, or any
other instance to MetaPRL, MP, or mp, etc.  The docs may be broken
but I'll fix them soon.  As usual, let me know if anything breaks.


Revision 2456 - (view) (download) (annotate) - [select for diffs]
Modified Sat Sep 5 22:31:37 1998 UTC (22 years, 9 months ago) by jyh
File length: 1650 byte(s)
Diff to previous 2184
Added license headers to each of the files in preparation for
the first major release.  The license is GNU public license; if
any of you have problems with that, let me know right away.  When
you add new code, you should credit yourself as the author.  When
you modify code, you should add a "Modified by:" to the header,
and possibly a short summary of your changes.

I tried to get the Author lists as correct as I remember, but there
are more than 550 files(!) and I may have made some mistakes. Please
add yourself if I didn't do it right.


Revision 2184 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 27 15:15:13 1998 UTC (23 years ago) by jyh
File length: 550 byte(s)
Diff to previous 2149
Functorized the refiner over the Term module.


Revision 2149 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 22 18:25:10 1998 UTC (23 years, 1 month ago) by eaton
File length: 534 byte(s)
Diff to previous 2144
.


Revision 2144 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 17 21:57:06 1998 UTC (23 years, 2 months ago) by eaton
File length: 452 byte(s)
Diff to previous 2142
.


Revision 2142 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 17 16:47:09 1998 UTC (23 years, 2 months ago) by lolorigo
File length: 444 byte(s)
Diff to previous 2140
.


Revision 2140 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 17 15:13:53 1998 UTC (23 years, 2 months ago) by lolorigo
File length: 399 byte(s)
Diff to previous 2139
.


Revision 2139 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 17 15:12:52 1998 UTC (23 years, 2 months ago) by lolorigo
File length: 494 byte(s)
Diff to previous 2135
.


Revision 2135 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 16 21:21:21 1998 UTC (23 years, 2 months ago) by lolorigo
File length: 447 byte(s)
Diff to previous 2127
.


Revision 2127 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 15 19:51:35 1998 UTC (23 years, 2 months ago) by lolorigo
File length: 336 byte(s)
Diff to previous 2072
ascii


Revision 2072 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 30 21:25:23 1997 UTC (23 years, 8 months ago) by lolorigo
File length: 193 byte(s)
Diff to previous 2060
.


Revision 2060 - (view) (download) (annotate) - [select for diffs]
Added Wed Sep 3 15:15:46 1997 UTC (23 years, 9 months ago) by lolorigo
File length: 202 byte(s)
.


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26