/[mojave]/metaprl/library/library.ml
ViewVC logotype

Log of /metaprl/library/library.ml

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: 18938 byte(s)
Diff to previous 2822
added/improved functionality for metaprl/jprover/nuprl5 io


Revision 2822 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 22 01:07:59 1999 UTC (21 years, 7 months ago) by nogin
File length: 18941 byte(s)
Diff to previous 2522
Added new function to mp_debug
let show_loading s = if !debug_load then Printf.eprintf s eflush

and replaced all usages of debug_load with show_loading


Revision 2522 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 11 19:14:25 1998 UTC (22 years, 6 months ago) by nogin
File length: 18969 byte(s)
Diff to previous 2494
Fixed some "this expression should have type unit" Ocaml-2.01 warnings


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: 18959 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: 18963 byte(s)
Diff to previous 2336
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 2336 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jul 21 22:47:13 1998 UTC (22 years, 10 months ago) by jyh
File length: 17863 byte(s)
Diff to previous 2283
Added NL toploop so that we can compile NL native code.


Revision 2283 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 2 18:38:08 1998 UTC (22 years, 11 months ago) by jyh
File length: 17860 byte(s)
Diff to previous 2209
Refiner modules now raise RefineError exceptions directly.
Modules in this revision have two versions: one that raises
verbose exceptions, and another that uses a generic exception.


Revision 2209 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jun 1 13:57:13 1998 UTC (23 years ago) by jyh
File length: 17846 byte(s)
Diff to previous 2190
Proving twice one is two.


Revision 2190 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 28 13:48:44 1998 UTC (23 years ago) by jyh
File length: 17901 byte(s)
Diff to previous 2184
Updated the editor to use new Refiner structure.
ITT needs dform names.


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


Revision 2167 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 5 20:05:57 1998 UTC (23 years, 1 month ago) by eaton
File length: 17757 byte(s)
Diff to previous 2162
.


Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 30 14:55:29 1998 UTC (23 years, 1 month ago) by lolorigo
File length: 17468 byte(s)
Diff to previous 2154
.


Revision 2154 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 27 13:25:47 1998 UTC (23 years, 1 month ago) by lolorigo
File length: 16894 byte(s)
Diff to previous 2142
ascii


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: 16349 byte(s)
Diff to previous 2120
.


Revision 2120 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 9 20:19:37 1998 UTC (23 years, 2 months ago) by eaton
File length: 15782 byte(s)
Diff to previous 2113
.


Revision 2113 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 8 18:10:36 1998 UTC (23 years, 2 months ago) by eaton
File length: 15440 byte(s)
Diff to previous 2100
.


Revision 2100 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 3 18:07:35 1998 UTC (23 years, 2 months ago) by eaton
File length: 14629 byte(s)
Diff to previous 2070
.


Revision 2070 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 25 21:28:19 1997 UTC (23 years, 8 months ago) by eaton
File length: 14591 byte(s)
Diff to previous 2068
.


Revision 2068 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 16 18:56:00 1997 UTC (23 years, 9 months ago) by eaton
File length: 13415 byte(s)
Diff to previous 2067
.


Revision 2067 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 12 21:08:39 1997 UTC (23 years, 9 months ago) by eaton
File length: 13340 byte(s)
Diff to previous 2065
.


Revision 2065 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 12 14:58:17 1997 UTC (23 years, 9 months ago) by eaton
File length: 12835 byte(s)
Diff to previous 2064
.


Revision 2064 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 11 15:36:13 1997 UTC (23 years, 9 months ago) by eaton
File length: 12400 byte(s)
Diff to previous 2063
.


Revision 2063 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 9 16:09:45 1997 UTC (23 years, 9 months ago) by eaton
File length: 13161 byte(s)
Diff to previous 2056
.


Revision 2056 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 7 22:07:38 1997 UTC (23 years, 10 months ago) by eaton
File length: 6613 byte(s)
Diff to previous 2046
.


Revision 2046 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 6 16:06:00 1997 UTC (23 years, 10 months ago) by eaton
File length: 5720 byte(s)
Diff to previous 2045
.


Revision 2045 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 1 18:50:34 1997 UTC (23 years, 10 months ago) by eaton
File length: 5620 byte(s)
Diff to previous 2043
.


Revision 2043 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 1 14:37:30 1997 UTC (23 years, 10 months ago) by lolorigo
File length: 5142 byte(s)
Diff to previous 2039
.


Revision 2039 - (view) (download) (annotate) - [select for diffs]
Added Mon Jul 28 16:39:50 1997 UTC (23 years, 10 months ago) by eaton
File length: 5157 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