[jyh] Updating display forms._ Mon Sep 19 01:58:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-40-216699000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-40-216699000-PDT.html [jyh] Added raw display._ Mon Sep 19 01:58:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-41-378215000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-41-378215000-PDT.html [jyh] Ocaml display without let rec._ Mon Sep 19 01:58:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-41-987188000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-41-987188000-PDT.html [jyh] Most display forms now work._ Mon Sep 19 01:58:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-44-264850000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-44-264850000-PDT.html [eaton] ._ Mon Sep 19 01:58:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-44-864266000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-44-864266000-PDT.html [eaton] ._ Mon Sep 19 01:58:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-46-121872000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-46-121872000-PDT.html [eaton] ._ Mon Sep 19 01:58:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-46-488460000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-46-488460000-PDT.html [nogin] The right paths to prlc, ocamldep, etc in Makefiles_ Mon Sep 19 01:58:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-46-861519000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-46-861519000-PDT.html [jyh] Adding interactive proofs._ Mon Sep 19 01:58:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-47-422622000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-47-422622000-PDT.html [nogin] Removed standardize_apart function, compare__ functions_ Mon Sep 19 01:58:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-50-173061000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-50-173061000-PDT.html [nogin] Use _cp _pf_ instead of _install_ to keep the timestamp_ Mon Sep 19 01:58:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-50-760983000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-50-760983000-PDT.html [nogin] This is the initial checkin of Term_ds module. I_ve got the interface and_ Mon Sep 19 01:58:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-51-156477000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-51-156477000-PDT.html [nogin] Continuing to rewrite implementation of terms in Term_ds._ Mon Sep 19 01:58:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-52-667829000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-52-667829000-PDT.html [nogin] Fixed a typo in rev_assoc_ Mon Sep 19 01:58:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-53-915220000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-53-915220000-PDT.html [nogin] Initial rewrite of term_ds is finished_ Mon Sep 19 01:58:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-54-279507000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-54-279507000-PDT.html [nogin] Fixed more typos_ Mon Sep 19 01:58:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-55-638134000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-55-638134000-PDT.html [nogin] Finished the initial version of Term_ds and Term_ds_simple_ Mon Sep 19 01:58:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-56-092312000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-56-092312000-PDT.html [nogin] Use __ for comparing opnames_ Mon Sep 19 01:58:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-57-323048000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-57-323048000-PDT.html [nogin] Added old evaluator functions_ Mon Sep 19 01:58:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-57-762061000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-57-762061000-PDT.html [nogin] This is an alternative implementation of a term module_ Mon Sep 19 01:58:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-58-223508000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-58-58-223508000-PDT.html [nogin] Changed to match TermSig and TermSimpleSig_ Mon Sep 19 01:59:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-00-522862000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-00-522862000-PDT.html [jyh] Functorized the refiner over the Term module._ Mon Sep 19 01:59:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-01-017210000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-01-017210000-PDT.html [nogin] Fixed variable lists handling in alpha equality and unification_ Mon Sep 19 01:59:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-09-368496000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-09-368496000-PDT.html [jyh] Removed simple_print_sig.mlz_ Mon Sep 19 01:59:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-09-736099000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-09-736099000-PDT.html [nogin] Parameterized by the Term and TermSubst modules_ Mon Sep 19 01:59:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-10-092732000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-10-092732000-PDT.html [nogin] Parameterized TermMeta module with Term and TermSubst modules_ Mon Sep 19 01:59:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-10-466748000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-10-466748000-PDT.html [nogin] Splitted Term_ds and Term_ds_simple modules into a smaller modules_ Mon Sep 19 01:59:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-10-816667000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-10-816667000-PDT.html [jyh] Updated the editor to use new Refiner structure._ Mon Sep 19 01:59:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-13-995413000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-13-995413000-PDT.html [jyh] Partitioned refiner into subdirectories._ Mon Sep 19 01:59:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-18-981334000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-18-981334000-PDT.html [nogin] Use cp _pf for copying _.mlz __ _.ml _ _.mli_ Mon Sep 19 01:59:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-36-745874000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-36-745874000-PDT.html [jyh] Updated Makefiles._ Mon Sep 19 01:59:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-37-109355000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-37-109355000-PDT.html [jyh] Command to run Nuprl_Light._ Mon Sep 19 01:59:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-37-787637000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-37-787637000-PDT.html [jyh] File listings._ Mon Sep 19 01:59:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-38-130623000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-38-130623000-PDT.html [nogin] ___ empty log message ____ Mon Sep 19 01:59:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-38-600126000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-38-600126000-PDT.html [nogin] Added time_it function_ Mon Sep 19 01:59:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-38-932661000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-38-932661000-PDT.html [nogin] Created refiner/term_gen directory_ Mon Sep 19 01:59:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-39-299973000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-39-299973000-PDT.html [nogin] Fixed some typos._ Mon Sep 19 01:59:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-40-057185000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-40-057185000-PDT.html [nogin] Fixed a typo_ Mon Sep 19 01:59:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-40-606606000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-40-606606000-PDT.html [jyh] Better Makefiles._ Mon Sep 19 01:59:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-40-961768000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-40-961768000-PDT.html [jyh] Need to update ocamldep._ Mon Sep 19 01:59:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-43-351419000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-43-351419000-PDT.html [jyh] Need to update ocamldep._ Mon Sep 19 01:59:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-43-698844000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-43-698844000-PDT.html [nogin] Added _I ../../library_ Mon Sep 19 01:59:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-44-078472000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-44-078472000-PDT.html [nogin] infix.ml is generated from infix.pre.ml and it should not be in the cvs repository_ Mon Sep 19 01:59:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-44-426591000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-44-426591000-PDT.html [nogin] Fixed the style _ placed __s in the beginning of the lines._ Mon Sep 19 01:59:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-44-807090000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-44-807090000-PDT.html [nogin] Eliminated white space in empty lines._ Mon Sep 19 01:59:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-45-273174000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-45-273174000-PDT.html [nogin] infix.ml is generated from infix.pre.ml and it should not be in the cvs repository_ Mon Sep 19 01:59:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-46-911195000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-05/2005-09-19-01-59-46-911195000-PDT.html