/[mojave]/metaprl/refiner
ViewVC logotype

Index of /metaprl/refiner

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


File Rev. Age Author Last log entry
 Parent Directory        
refbase/  2901  21 years  nogin   Added profiling comtrol to some tests Added explicit include of the mk/preface …
refiner/  2916  21 years  nogin   There is no need to call dest_msequent when we only want the goal, but not the a…
reflib/  2920  21 years  steph   ---------------------------------------------------------------------- Enter …
refsig/  2916  21 years  nogin   There is no need to call dest_msequent when we only want the goal, but not the a…
rewrite/  2912  21 years  jyh   Most of the theories in Itt now expand without errors. One exception is Itt_fset…
term_ds/  2915  21 years  nogin   Efficiency: another 3% on f650.ml
term_gen/  2905  21 years  nogin   Added a new function for free variable testing. Renamed all the free variable te…
term_std/  2905  21 years  nogin   Added a new function for free variable testing. Renamed all the free variable te…
Makefile  2800  22 years  nogin   Moved ML files from filter to filter/filter
README.tex  2307  23 years  nogin   Removed $Log messages from all NL files.

Properties

Name Value
svn:ignore Makefile.dep *.cma *.cmxa gmon.out

  ViewVC Help
Powered by ViewVC 1.1.26