/[mojave]/metaprl/editor/ml
ViewVC logotype

Index of /metaprl/editor/ml

Files shown:66
Directory revision: 2922 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
tests/  2918  21 years  nogin   Scripts for running ultiple tests in a batch.
.gdbinit  2550  22 years  jyh   Fixed some problems with Ensemble. The closure marshaler was marshaling huge clo…
BOO008-3.p  2417  23 years  jyh   Yet another fix to unification. Changes have not been added to term_std. There…
GEN.p  2376  23 years  jyh   Added TPTP theory, and Ensemble library. Fixed sequent displays. BUG: rewrites …
Makefile  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
display_term.ml  2809  21 years  jyh   Display changes to get Java to work a little better.
display_term.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
io_proof.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
io_proof.mli  2527  22 years  jyh   Proof expansion works. Fixed a bad typo in red_black_set.
mp  2717  22 years  eli   Added cd `dirname $0` so it is possible to run these files from any directory.…
mp.ml  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
mp.mli  2775  22 years  jyh   Things seem to be working pretty smoothly now. This is mostly minor fixes. Sti…
mp_fol_type2.txt  2525  22 years  jyh   Numerous minor changes. Added itt_fset: a theory of finite sets based on a list…
mp_top.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
mp_top.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
mp_version.mli  2502  22 years  nogin   More NL -> MP changes
mpconfig  2889  21 years  nogin   - When compiling a MetaPRL file referenced using its path instead of just a name…
mpgossip  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
mpopt  2717  22 years  eli   Added cd `dirname $0` so it is possible to run these files from any directory.…
mpserver  2727  22 years  eli   I happen to come across an erroneous "#1/bin/csh"...
mptop  2717  22 years  eli   Added cd `dirname $0` so it is possible to run these files from any directory.…
mux_channel.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
mux_channel.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
nuprl_eval.ml  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
nuprl_eval.mli  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
nuprl_jprover.ml  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
nuprl_jprover.mli  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
nuprl_run.ml  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
nuprl_run.mli  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
package_df.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
package_df.mli  2638  22 years  nogin   Moved most filter_summary types into the filter_type.mlz
package_edit.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
package_edit.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
package_info.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
package_info.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
package_int.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
package_int.mli  2494  22 years  jyh   I changed all the obvious places of Nuprl-Light, NL, nl, or any other instance t…
package_sig.mlz  2775  22 years  jyh   Things seem to be working pretty smoothly now. This is mostly minor fixes. Sti…
proof_edit.ml  2900  21 years  nogin   When a list of subgoals is too big, displaying used to take a while. I implement…
proof_edit.mli  2808  21 years  jyh   I added a TeX mode for display. This was a quick hack, and it it _not_ the way …
proof_step.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
proof_step.mli  2527  22 years  jyh   Proof expansion works. Fixed a bad typo in red_black_set.
recursive_lock.ml  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
recursive_lock.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell.ml  2922  21 years  lolorigo   added/improved functionality for metaprl/jprover/nuprl5 io
shell.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_http.ml  2903  21 years  nogin   - The strict rewriter mode allowed me to replace the ml_rule thin with an ordina…
shell_http.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_mp.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
shell_mp.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_p4.ml  2770  22 years  cwitty   I tried to make the OCaml toploop (i.e., editor/ml/mp) work. I think this may b…
shell_p4.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_p4_sig.mlz  2770  22 years  cwitty   I tried to make the OCaml toploop (i.e., editor/ml/mp) work. I think this may b…
shell_package.ml  2808  21 years  jyh   I added a TeX mode for display. This was a quick hack, and it it _not_ the way …
shell_package.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_rewrite.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
shell_rewrite.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_root.ml  2808  21 years  jyh   I added a TeX mode for display. This was a quick hack, and it it _not_ the way …
shell_root.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_rule.ml  2822  21 years  nogin   Added new function to mp_debug let show_loading s = if !debug_load then Printf.e…
shell_rule.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
shell_sig.mlz  2808  21 years  jyh   I added a TeX mode for display. This was a quick hack, and it it _not_ the way …
shell_state.ml  2775  22 years  jyh   Things seem to be working pretty smoothly now. This is mostly minor fixes. Sti…
shell_state.mli  2743  22 years  jyh   This is a major release; I bumped the release number to 0.6. WARNING: There are …
tutorial.ml  2525  22 years  jyh   Numerous minor changes. Added itt_fset: a theory of finite sets based on a list…
tutorial_itt.ml  2857  21 years  nogin   BUG 2.3 now includes: Loading the same theory twice produces similar problems. …
x.ml  2817  21 years  nogin   Changed alpha_equal_* in Term_ds and Term_std to be consistent with Nuprl: Now b…

Properties

Name Value
svn:ignore *.cm* *.p4* *.pp* *.run *.opt *.top gmon.out Makefile.dep package_sig.mli package_sig.ml edit_sig.mli edit_sig.ml shell_sig.mli shell_sig.ml io_proof_sig.ml io_proof_sig.mli proof_sig.mli proof_sig.ml ocamlprof.dump mp_version.ml cache

  ViewVC Help
Powered by ViewVC 1.1.26