[nogin] Fixed a bug that prevented resulting terms from being displayed in toploop._Mon Sep 19 02:11:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-34-429308000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-34-429308000-PDT.html[nogin] Produce more meaningful error messges when parsing terms in toploop._Mon Sep 19 02:11:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-34-838480000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-34-838480000-PDT.html[nogin] 1_ By default, the values of non_meta string/token/var parameters are now printed in quotes_Mon Sep 19 02:11:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-35-265617000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-35-265617000-PDT.html[nogin] _ added a display form for Summary_meta_function. Still, things do not_Mon Sep 19 02:11:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-35-738916000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-35-738916000-PDT.html[nogin] Documentation__Mon Sep 19 02:11:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-36-172051000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-36-172051000-PDT.html[cwitty] Here_s some documentation I wrote for the base_Mon Sep 19 02:11:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-36-754025000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-36-754025000-PDT.html[cwitty] Fixed minor inaccuracies in doc/it_quickref.txt._Mon Sep 19 02:11:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-38-662766000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-38-662766000-PDT.html[cwitty] Made the working directory _more easily_ configurable._Mon Sep 19 02:11:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-39-156147000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-39-156147000-PDT.html[cwitty] Added a workaround for a bug in my version of Emacs. Shouldn_t affect_Mon Sep 19 02:11:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-39-596538000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-39-596538000-PDT.html[cwitty] Added a new primitive rule universeCumulativity and corresponding_Mon Sep 19 02:11:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-39-950189000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-39-950189000-PDT.html[cwitty] Now that I _think I_ understand _squash_, I_ve made my new cumulativity_Mon Sep 19 02:11:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-40-389401000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-40-389401000-PDT.html[nogin] Fixed some comments_Mon Sep 19 02:11:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-41-940200000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-41-940200000-PDT.html[nogin] Removed unused code_Mon Sep 19 02:11:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-42-400278000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-42-400278000-PDT.html[nogin] Added a comsistent way of coming up with a new name for a variable that needs to be renamed_Mon Sep 19 02:11:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-43-032714000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-43-032714000-PDT.html[nogin] Removed duplicate code_Mon Sep 19 02:11:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-44-435419000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-44-435419000-PDT.html[nogin] compile_so_redex_term can not get a context term as an input _not as a part of a sequent__Mon Sep 19 02:11:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-44-812037000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-44-812037000-PDT.html[nogin] Backed up the previous change. We may be interested in having SO contexts_Mon Sep 19 02:11:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-45-184544000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-45-184544000-PDT.html[nogin] Documented some rewriter bugs._Mon Sep 19 02:11:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-45-561591000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-45-561591000-PDT.html[nogin] More rewriter bugs._Mon Sep 19 02:11:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-45-925748000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-45-925748000-PDT.html[cwitty] Fixed level_lt and level_le. Now the universeEquality rule no longer_Mon Sep 19 02:11:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-46-304074000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-46-304074000-PDT.html[nogin] Fixed the _repeated meta_parameter_ rewriter problem._Mon Sep 19 02:11:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-46-728499000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-46-728499000-PDT.html[nogin] More problems_Mon Sep 19 02:11:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-47-187727000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-47-187727000-PDT.html[nogin] Removed unused directory_Mon Sep 19 02:11:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-48-763818000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-48-763818000-PDT.html[nogin] Small changes_Mon Sep 19 02:11:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-49-221168000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-49-221168000-PDT.html[nogin] _ Documented the behaviour of several functions when variable lists_Mon Sep 19 02:11:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-49-680895000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-49-680895000-PDT.html[nogin] _ Now rewriter should handle repeated variables in redex more or less correctly_Mon Sep 19 02:11:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-50-261829000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-50-261829000-PDT.html[cwitty] Changed the behavior of the dT and eqcdT tactics on goals with_Mon Sep 19 02:11:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-50-717772000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-50-717772000-PDT.html[cwitty] Added equalityEquality to the eqcd resource, so eqcdT and dT 0 can handle_Mon Sep 19 02:11:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-51-126915000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-51-126915000-PDT.html[nogin] cvf_theory is not an MLZFILE and should not be mentioned in Makefile_Mon Sep 19 02:11:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-52-534324000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-52-534324000-PDT.html[cwitty] Fixed the following behavior when using the OCaml toplevel__Mon Sep 19 02:11:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-52-897118000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-52-897118000-PDT.html[nogin] _ Added a _strict_ flag to compile_redex. Currently rewrite.ml just always sets it_Mon Sep 19 02:11:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-53-279276000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-53-279276000-PDT.html[eli] _ Made the initialization more stable by adding a list of modules to open._Mon Sep 19 02:11:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-54-104387000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-54-104387000-PDT.html[eli] I_m going to avoid the ugly hack of translating DEFMACRO_s to a_Mon Sep 19 02:11:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-55-546942000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-55-546942000-PDT.html[eli] Finally, this version works with includes._Mon Sep 19 02:11:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-56-238586000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-56-238586000-PDT.html[eli] Added_Mon Sep 19 02:11:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-56-782764000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-56-782764000-PDT.html[eli] Added a _I option for INCLUDE statements._Mon Sep 19 02:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-57-167769000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-57-167769000-PDT.html[eli] Added a local macro construct._Mon Sep 19 02:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-57-569403000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-57-569403000-PDT.html[nogin] Added HashTerm and HashBTerm modules to TermHash module in order to be able to_Mon Sep 19 02:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-58-004292000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-58-004292000-PDT.html[eli] Made DEFINED symbols hold expressions so it is possible to use a __DX_x__Mon Sep 19 02:11:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-58-464362000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-58-464362000-PDT.html[eli] Renamed CPPFLAGS to PPFLAGS__Mon Sep 19 02:11:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-59-232541000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-11-59-232541000-PDT.html[eli] marshal_shared.ml uses macro.ml now._Mon Sep 19 02:12:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-00-814496000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-00-814496000-PDT.html[eli] Forgot to commit a stupid bug..._Mon Sep 19 02:12:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-01-343680000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-01-343680000-PDT.html[nogin] Added_ reduceEta is too strong_Mon Sep 19 02:12:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-01-712105000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-01-712105000-PDT.html[eli] _ Fixed some more bugs in macro.ml._Mon Sep 19 02:12:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-02-064713000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-02-064713000-PDT.html[eli] I happen to come across an erroneous __1/bin/csh_..._Mon Sep 19 02:12:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-03-009784000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-03-009784000-PDT.html[eli] Forgot to commit this also._Mon Sep 19 02:12:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-03-375170000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-03-375170000-PDT.html[nogin] There is no need to use String_util.concat instead of String.concat_Mon Sep 19 02:12:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-04-937430000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-04-937430000-PDT.html[nogin] Used type system to enforce parameter hashing_Mon Sep 19 02:12:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-05-345230000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-05-345230000-PDT.html[eli] Yet another commit before another major change._Mon Sep 19 02:12:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-05-783179000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-05-783179000-PDT.html[nogin] Added support for ASCII_based term IO. I tested the code a lot and it seems working,_Mon Sep 19 02:12:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-06-166992000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-06-166992000-PDT.html[eli] Whew... I hope that this one is the last major rewrite for this..._Mon Sep 19 02:12:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-07-747306000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-07-747306000-PDT.html[nogin] Fixed alpha_equal_match_Mon Sep 19 02:12:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-08-498117000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-08-498117000-PDT.html[nogin] Removed some really old filter test files._Mon Sep 19 02:12:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-09-054416000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-09-054416000-PDT.html[nogin] In _strict_ mode rewriter now should correctly restrict free variables_Mon Sep 19 02:12:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-10-856701000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-10-856701000-PDT.html[nogin] Now the arguments of SO variables are fully compiled and matched._Mon Sep 19 02:12:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-11-443557000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-11-443557000-PDT.html[eli] More changes._Mon Sep 19 02:12:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-12-327193000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-12-327193000-PDT.html[nogin] Added Alexei Kopylov_s implementation of the collection type._Mon Sep 19 02:12:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-14-107164000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-14-107164000-PDT.html[eli] Added lots of stuff to macro.ml, so it handles many more syntax types and_Mon Sep 19 02:12:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-17-376801000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-17-376801000-PDT.html[eli] Using macro.ml for this directory works._Mon Sep 19 02:12:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-18-185913000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-18-185913000-PDT.html[] This commit was manufactured by cvs2svn to create tag_Mon Sep 19 02:12:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-19-859799000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-19-859799000-PDT.html[jyh] This is a major release_ I bumped the release number to 0.6._Mon Sep 19 02:12:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-20-205766000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-12-20-205766000-PDT.html[nogin] Fixed couple of typos that prevented _make opt_ from working_Mon Sep 19 02:13:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-27-084068000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-27-084068000-PDT.html[nogin] Updated the ds/std and VERBOSE/SIMPLE documentation._Mon Sep 19 02:13:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-27-573333000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-27-573333000-PDT.html[nogin] Eliminated _circular dependencies_ make warnings_Mon Sep 19 02:13:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-28-032636000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-28-032636000-PDT.html[nogin] By default, run make with _s _silent_ flag._Mon Sep 19 02:13:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-31-228432000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-31-228432000-PDT.html[nogin] Removed some old code that Eli accidentally added back_Mon Sep 19 02:13:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-31-709887000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-31-709887000-PDT.html[nogin] Eliminated a worning_Mon Sep 19 02:13:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-32-103037000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-32-103037000-PDT.html[nogin] Term_copy__weak modules only need Term modules, not full refiners, on input_Mon Sep 19 02:13:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-34-373400000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-34-373400000-PDT.html[eli] Yet more stuff _ now there are also toplevel macros that can be used._Mon Sep 19 02:13:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-35-131856000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-35-131856000-PDT.html[nogin] Made some of the _internal_ stuff go away._Mon Sep 19 02:13:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-37-177956000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-37-177956000-PDT.html[jyh] These are some minor changes to make things work better. Changed_Mon Sep 19 02:13:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-37-975416000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-37-975416000-PDT.html[jyh] Disabled web server for now._Mon Sep 19 02:13:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-44-963376000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-44-963376000-PDT.html[eli] macro.ml_ified._Mon Sep 19 02:13:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-46-537766000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-46-537766000-PDT.html[eli] macro.ml_ified_Mon Sep 19 02:13:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-47-314821000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-47-314821000-PDT.html[eli] Mazal Tov__Mon Sep 19 02:13:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-58-369124000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-13-58-369124000-PDT.html[eli] Small changes and additions._Mon Sep 19 02:14:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-01-580649000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-01-580649000-PDT.html[eli] _newcommand__message__Mazal Tov__Mon Sep 19 02:14:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-02-022514000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-02-022514000-PDT.html[nogin] Macro cleanup_ renamed some of the X1 identifiers back to X__Mon Sep 19 02:14:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-03-759364000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-03-759364000-PDT.html[eli] _ No need for __DMLZ_._Mon Sep 19 02:14:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-04-210925000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-04-210925000-PDT.html[nogin] There is no need for any tmp.mli_Mon Sep 19 02:14:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-04-643571000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-04-643571000-PDT.html[nogin] Removed _I __ROOT_/lib from the INCLUDES._Mon Sep 19 02:14:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-05-036342000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-05-036342000-PDT.html[nogin] This seems to work under Linux._Mon Sep 19 02:14:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-06-849871000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-06-849871000-PDT.html[nogin] Small changes._Mon Sep 19 02:14:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-07-454897000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-07-454897000-PDT.html[jyh] Minor fixes to make Linux Makefile and shell script work._Mon Sep 19 02:14:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-07-938896000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-07-938896000-PDT.html[nogin] Fixed some comments_Mon Sep 19 02:14:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-08-342924000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-08-342924000-PDT.html[nogin] Now_Mon Sep 19 02:14:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-09-948593000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-09-948593000-PDT.html[nogin] If for some reason you can not connect to port 80 on metaprl_cvs, try using port 3000 instead._Mon Sep 19 02:14:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-10-398526000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-10-398526000-PDT.html[cwitty] I tried to make the OCaml toploop _i.e., editor/ml/mp_ work. I think_Mon Sep 19 02:14:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-10-778100000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-06/2005-09-19-02-14-10-778100000-PDT.html