/[mojave]
ViewVC logotype

Revision 3444


Jump to revision: Previous Next
Author: nogin
Date: Thu Nov 15 23:03:47 2001 UTC (19 years, 8 months ago)
Changed paths: 35
Log Message:
Code cleanup:

I looked (using the code I've put into macro.ml) for places where the same code
appeared in several branches of a match or function expression. I changed those
places to use a complex pattern and a single copy of the code.


Changed paths

Path Details
Directorymetaprl/editor/ml/proof_edit.ml modified , text changed
Directorymetaprl/editor/ml/shell.ml modified , text changed
Directorymetaprl/editor/ml/shell_mp.ml modified , text changed
Directorymetaprl/editor/ml/shell_package.ml modified , text changed
Directorymetaprl/filter/base/filter_comment.ml modified , text changed
Directorymetaprl/filter/base/filter_summary.ml modified , text changed
Directorymetaprl/filter/base/free_vars.ml modified , text changed
Directorymetaprl/filter/base/mLast_util.ml modified , text changed
Directorymetaprl/filter/base/term_grammar.ml modified , text changed
Directorymetaprl/filter/boot/proof_boot.ml modified , text changed
Directorymetaprl/filter/boot/proof_term_boot.ml modified , text changed
Directorymetaprl/filter/filter/filter_parse.ml modified , text changed
Directorymetaprl/mllib/comment_parse.mll modified , text changed
Directorymetaprl/mllib/file_util.ml modified , text changed
Directorymetaprl/mllib/flist.ml modified , text changed
Directorymetaprl/mllib/http_server.ml modified , text changed
Directorymetaprl/mllib/red_black_set.ml modified , text changed
Directorymetaprl/mllib/red_black_table.ml modified , text changed
Directorymetaprl/mllib/splay_linear_set.ml modified , text changed
Directorymetaprl/mllib/splay_table.ml modified , text changed
Directorymetaprl/refiner/refiner/refine.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite_build_contractum.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite_meta.ml modified , text changed
Directorymetaprl/refiner/rewrite/rewrite_util.ml modified , text changed
Directorymetaprl/refiner/term_ds/term_addr_ds.ml modified , text changed
Directorymetaprl/refiner/term_ds/term_unif_ds.ml modified , text changed
Directorymetaprl/refiner/term_gen/term_meta_gen.ml modified , text changed
Directorymetaprl/refiner/term_gen/term_shape_gen.ml modified , text changed
Directorymetaprl/theories/base/base_meta.ml modified , text changed
Directorymetaprl/theories/itt/itt_logic.ml modified , text changed
Directorymetaprl/theories/itt/itt_squash.ml modified , text changed
Directorymetaprl/theories/tactic/mptop.ml modified , text changed
Directorymetaprl/theories/tactic/tactic_cache.ml modified , text changed
Directorymetaprl/util/macro.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26