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

Log of /metaprl/refiner/reflib/Makefile

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 6019)

Revision 2520 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 29 23:28:38 1998 UTC (22 years, 6 months ago) by nogin
File length: 574 byte(s)
Diff to previous 2497
Added the bi-directional Term_copy module
written by Yegon Bryukhov <yegor@lpcs.math.msu.ru>

This version is undebugged and is very slow:
it seems to be quadratic and also it becomes much slower
after each invocation.


Revision 2497 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 13 01:52:18 1998 UTC (22 years, 8 months ago) by nogin
File length: 555 byte(s)
Diff to previous 2325
Renaming it in Makefiles:
NLLIB -> MPLIB, NLFILES -> MPFILES, NL2FILES -> MP2FILES, etc.


Revision 2325 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jul 14 15:44:03 1998 UTC (22 years, 11 months ago) by jyh
File length: 555 byte(s)
Diff to previous 2224
Intermediate version with auto tactic.


Revision 2224 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 12 13:47:49 1998 UTC (23 years ago) by jyh
File length: 533 byte(s)
Diff to previous 2193
D tactic works, added itt_bool.


Revision 2193 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 28 22:10:02 1998 UTC (23 years ago) by jyh
File length: 544 byte(s)
Diff to previous 2191
Updated Makefiles.


Revision 2191 - (view) (download) (annotate) - [select for diffs]
Added Thu May 28 15:02:46 1998 UTC (23 years ago) by jyh
File length: 617 byte(s)
Partitioned refiner into subdirectories.


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