[nogin] _ I added a list of authors to User Guid, Developr Guis and System Description._Mon Sep 19 03:47:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-03-116584000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-03-116584000-PDT.html[nogin] Updated all the HTML files to be _hopefully_ in correct_Mon Sep 19 03:47:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-04-792889000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-04-792889000-PDT.html[nogin] Some more HTML fixes._Mon Sep 19 03:47:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-08-989145000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-08-989145000-PDT.html[nogin] Changed the order of arguments in StringSet.add to be able to use_Mon Sep 19 03:47:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-16-450802000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-16-450802000-PDT.html[xiny] Added the definition for cyclic groups where the generator is not specified._Mon Sep 19 03:47:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-18-344295000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-18-344295000-PDT.html[xiny] Added math form def. for cycg._Mon Sep 19 03:47:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-22-503287000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-22-503287000-PDT.html[nogin] _ Added a version of a dest_bterm function _dest_bterm_and_rename__Mon Sep 19 03:47:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-23-056186000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-23-056186000-PDT.html[nogin] Killed onVarT _ for two reasons__Mon Sep 19 03:47:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-27-346960000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-27-346960000-PDT.html[nogin] Got rid of some of the namer code that seems to no longer be relevant._Mon Sep 19 03:47:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-28-822434000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-28-822434000-PDT.html[xiny] Proved that cycg and cycgroup are equivalent._Mon Sep 19 03:47:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-31-346710000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-31-346710000-PDT.html[granicz] Changed Phobos tactic._Mon Sep 19 03:47:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-55-191794000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-55-191794000-PDT.html[nogin] Added a link to the CUCS CVS HOWTO_Mon Sep 19 03:47:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-59-645553000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-47-59-645553000-PDT.html[nogin] For ThinOption in elim resource, determine the hyp number for thinning_Mon Sep 19 03:48:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-00-117536000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-00-117536000-PDT.html[nogin] Added something semi_reasonable for mathbbB in prl _Unicode_ mode._Mon Sep 19 03:48:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-01-870950000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-01-870950000-PDT.html[kopylov] Add some documentation on record type._Mon Sep 19 03:48:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-04-160109000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-04-160109000-PDT.html[nogin] Something that actually compiles _I hope_._Mon Sep 19 03:48:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-09-801386000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-09-801386000-PDT.html[nogin] Removed some outdated code__Mon Sep 19 03:48:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-10-288146000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-10-288146000-PDT.html[nogin] Unused ml_ code _ml_rule and conditional ml_rw_ seems to be quite outdated._Mon Sep 19 03:48:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-11-543015000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-11-543015000-PDT.html[nogin] Doccumentation fixes__Mon Sep 19 03:48:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-12-149965000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-12-149965000-PDT.html[nogin] Got rid of separate contractum functions in rewriter _contractum functionality_Mon Sep 19 03:48:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-13-365917000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-13-365917000-PDT.html[jyh] This is a first version of a syntax that parallels the MCC FIR._Mon Sep 19 03:48:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-14-103063000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-14-103063000-PDT.html[jyh] Try again without the papers directory._Mon Sep 19 03:48:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-16-309572000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-16-309572000-PDT.html[jyh] Added display form for m__._Mon Sep 19 03:48:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-17-188501000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-17-188501000-PDT.html[jyh] Minor documentation change._Mon Sep 19 03:48:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-19-151842000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-19-151842000-PDT.html[nogin] Created names for _[__], [__]_ and _[__], [__], []_ that are used all the time_Mon Sep 19 03:48:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-21-183762000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-21-183762000-PDT.html[nogin] Forgot to include this in my last commit._Mon Sep 19 03:48:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-21-945159000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-21-945159000-PDT.html[nogin] Split nth_nyp into two functions_ nth_hyp and nth_binding._Mon Sep 19 03:48:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-22-436527000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-22-436527000-PDT.html[nogin] _ Now the msequents in tactic_args on RuleBox level are normalized_Mon Sep 19 03:48:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-24-242670000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-24-242670000-PDT.html[nogin] _ Fixed an evil bug in Term_subst_std.subst1._Mon Sep 19 03:48:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-25-113479000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-25-113479000-PDT.html[nogin] _ Moved unify_mm from Term_ds to reflib. The code didn_t have anything_Mon Sep 19 03:48:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-28-366708000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-28-366708000-PDT.html[nogin] A few minor changes._Mon Sep 19 03:48:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-34-203905000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-01/2005-09-19-03-48-34-203905000-PDT.html