/[mojave]/metaprl/refiner/reflib
ViewVC logotype

Index of /metaprl/refiner/reflib

Files shown:58
Directory revision: 2920 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
Files  2920  21 years  steph   ---------------------------------------------------------------------- Enter …
Makefile  2901  21 years  nogin   Added profiling comtrol to some tests Added explicit include of the mk/preface …
ascii_io.ml  2913  21 years  nogin   I hope I finally got it right
ascii_io.mli  2732  22 years  nogin   Added support for ASCII-based term IO. I tested the code a lot and it seems work…
ascii_io_sig.ml  2907  21 years  nogin   Fixed the ASCII files generation to correctly handle the situation when the prev…
dform.ml  2883  21 years  nogin   Enabled the "strict" rewriter mode. In "strict" mode, <<lambda{x.'t}>> will onl…
dform.mli  2799  22 years  nogin   Now one can use SO variables in display form specifications
dform_print.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
dform_print.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
jall.ml  2919  21 years  steph   ---------------------------------------------------------------------- Enter …
jall.mli  2919  21 years  steph   ---------------------------------------------------------------------- Enter …
jlogic_sig.ml  2880  21 years  steph   *** empty log message ***
jtunify.ml  2919  21 years  steph   ---------------------------------------------------------------------- Enter …
jtunify.mli  2919  21 years  steph   ---------------------------------------------------------------------- Enter …
match_seq.ml  2576  22 years  nogin   Added some simple code to match two hypothesis lists. It does not always do the …
match_seq.mli  2576  22 years  nogin   Added some simple code to match two hypothesis lists. It does not always do the …
ml_file.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
ml_file.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
ml_format.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
ml_format.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
ml_format_sig.mlz  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
ml_print.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
ml_print.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
ml_print_sig.mlz  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
ml_string.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
ml_string.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
ml_term.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
ml_term.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
mp_resource.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
mp_resource.mli  2753  22 years  jyh   These are some minor changes to make things work better. Changed meaning of Thi…
refine_exn.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
refine_exn.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
rformat.ml  2828  21 years  nogin   Renamed break -> hbreak (dforms construction) to be more consistent.
rformat.mli  2828  21 years  nogin   Renamed break -> hbreak (dforms construction) to be more consistent.
simple_print.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
simple_print.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
simple_print_sig.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
term_compare.ml  2793  22 years  nogin   Do not keep normalazing the same opnames over and over. Added filter_opt target…
term_compare.mli  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
term_compare_sig.ml  2659  22 years  nogin   - Fixed a bug in Term_ds: The code responsible for renaming bound variables was …
term_copy2_weak.ml  2750  22 years  nogin   Term_copy*_weak modules only need Term modules, not full refiners, on input
term_copy2_weak.mli  2750  22 years  nogin   Term_copy*_weak modules only need Term modules, not full refiners, on input
term_copy_weak.ml  2750  22 years  nogin   Term_copy*_weak modules only need Term modules, not full refiners, on input
term_copy_weak.mli  2750  22 years  nogin   Term_copy*_weak modules only need Term modules, not full refiners, on input
term_dtable.ml  2883  21 years  nogin   Enabled the "strict" rewriter mode. In "strict" mode, <<lambda{x.'t}>> will onl…
term_dtable.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
term_eq_table.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
term_eq_table.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
term_io.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
term_io.mli  2746  22 years  nogin   Eliminated "circular dependencies" make warnings
term_match_table.ml  2883  21 years  nogin   Enabled the "strict" rewriter mode. In "strict" mode, <<lambda{x.'t}>> will onl…
term_match_table.mli  2799  22 years  nogin   Now one can use SO variables in display form specifications
term_stable.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
term_stable.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
term_table.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
term_table.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
theory.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
theory.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …

Properties

Name Value
svn:ignore *.cm* *~ *#* Makefile.dep ml_format_sig.ml ml_format_sig.mli ml_print_sig.ml ml_print_sig.mli simple_print_sig.ml simple_print_sig.mli resource.ml resource.mli gmon.out

  ViewVC Help
Powered by ViewVC 1.1.26