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

Log of /metaprl/library/ascii_scan.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: 5914 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: 5925 byte(s)
Diff to previous 2494
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 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: 5953 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: 5957 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: 4857 byte(s)
Diff to previous 2336
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 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: 4854 byte(s)
Diff to previous 2251
Added NL toploop so that we can compile NL native code.


Revision 2251 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jun 16 16:26:27 1998 UTC (23 years ago) by jyh
File length: 4851 byte(s)
Diff to previous 2209
Added itt_test.


Revision 2209 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jun 1 13:57:13 1998 UTC (23 years ago) by jyh
File length: 4781 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: 4807 byte(s)
Diff to previous 2167
Updated the editor to use new Refiner structure.
ITT needs dform names.


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


Revision 2155 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 27 19:18:21 1998 UTC (23 years, 1 month ago) by eaton
File length: 4692 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: 4688 byte(s)
Diff to previous 2136
.


Revision 2136 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 16 23:18:34 1998 UTC (23 years, 2 months ago) by eaton
File length: 4326 byte(s)
Diff to previous 2134
.


Revision 2134 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 16 20:50:17 1998 UTC (23 years, 2 months ago) by eaton
File length: 3920 byte(s)
Diff to previous 2132
.


Revision 2132 - (view) (download) (annotate) - [select for diffs]
Added Thu Apr 16 14:55:12 1998 UTC (23 years, 2 months ago) by eaton
File length: 3402 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