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

Log of /metaprl/library/basic.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: 4886 byte(s)
Diff to previous 2523
added/improved functionality for metaprl/jprover/nuprl5 io


Revision 2523 - (view) (download) (annotate) - [select for diffs]
Modified Thu Dec 17 15:57:52 1998 UTC (22 years, 6 months ago) by lolorigo
File length: 4891 byte(s)
Diff to previous 2494
added improvements to mathbus speed, and functionality for edits in nuprl


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: 4866 byte(s)
Diff to previous 2488
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 2488 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 5 17:43:15 1998 UTC (22 years, 8 months ago) by lolorigo
File length: 4870 byte(s)
Diff to previous 2456
Removed library_eval since it was moved to editor/ml/.
Implemented support for link to nuprl 5 library and
refinement editor.


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: 4753 byte(s)
Diff to previous 2443
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 2443 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 24 13:43:48 1998 UTC (22 years, 9 months ago) by jyh
File length: 3653 byte(s)
Diff to previous 2209
Slightly better Ensemble scheduling.
Native-code compiler has trouble marshaling functions--
its probably a problem with the marshaler.

Added Nl_num, a ML-only implementation of bignums.
This is slower than the C version used by OCaml, but
we can marshal the Nl_nums.  Most of the files changed
are just replacements of Num.* with Nl_num.*.


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


Revision 2184 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 27 15:15:13 1998 UTC (23 years ago) by jyh
File length: 3653 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: 3637 byte(s)
Diff to previous 2149
.


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: 3137 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: 3150 byte(s)
Diff to previous 2105
.


Revision 2105 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 7 18:08:03 1998 UTC (23 years, 2 months ago) by lolorigo
File length: 2967 byte(s)
Diff to previous 2070
mathbus, num, int32


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: 2969 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: 2975 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: 2471 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: 2392 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: 1794 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: 1603 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