[yegor] The very first attempt of rational numbers axiomatization. Some axioms are incorrect._Mon Sep 19 05:14:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-08-032469000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-08-032469000-PDT.html[yegor] Minor update_Mon Sep 19 05:14:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-09-574537000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-09-574537000-PDT.html[yegor] Complicated pattern in LHS of define beq_rat caused a runtime error. Switched to declare_rewrite._Mon Sep 19 05:14:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-09-960888000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-09-960888000-PDT.html[nogin] Made the error message mentioned in bug 77 a bit more verbose._Mon Sep 19 05:14:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-12-573830000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-12-573830000-PDT.html[nogin] We should always use the proper boolean tests, not _equal_... , YES_ ones__Mon Sep 19 05:14:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-12-981051000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-12-981051000-PDT.html[nogin] Added compile_time checking of definitions _bug 72_._Mon Sep 19 05:14:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-13-417470000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-13-417470000-PDT.html[jyh] Added the editor/ml/make_mp_version.ml program to _generate_ the mp_version.ml_Mon Sep 19 05:14:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-13-947745000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-13-947745000-PDT.html[jyh] Accidentally disabled the progress bar._Mon Sep 19 05:14:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-14-693786000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-14-693786000-PDT.html[jyh] emember the generated .o file._Mon Sep 19 05:14:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-15-035005000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-15-035005000-PDT.html[jyh] Ignore some more files._Mon Sep 19 05:14:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-15-384776000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-15-384776000-PDT.html[jyh] This file keeps reappearing__Mon Sep 19 05:14:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-15-827640000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-15-827640000-PDT.html[yegor] Short description of itt_int_base, itt_int_ext and itt_int_arith added._Mon Sep 19 05:14:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-16-172800000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-16-172800000-PDT.html[jyh] This is a better way to fix the _ vs / problem._Mon Sep 19 05:14:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-16-639062000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-16-639062000-PDT.html[jyh] Install prlc into bin/_Mon Sep 19 05:14:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-16-998528000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-16-998528000-PDT.html[jyh] Generate .ppo files._Mon Sep 19 05:14:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-17-388456000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-17-388456000-PDT.html[jyh] Add a rule to compile make_mp_version directly, so remove the .mli file._Mon Sep 19 05:14:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-18-093858000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-18-093858000-PDT.html[jyh] Remove .ppo, .p4i, and .p4o files during clean._Mon Sep 19 05:14:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-18-456469000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-18-456469000-PDT.html[jyh] Fixed the dependencies for mp_version.ml. Before, it depended on the byte_code_Mon Sep 19 05:14:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-18-816043000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-18-816043000-PDT.html[jyh] Adding support for document formatting._Mon Sep 19 05:14:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-19-368323000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-19-368323000-PDT.html[jyh] Added all the documentation printers._Mon Sep 19 05:14:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-19-943259000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-19-943259000-PDT.html[jyh] Finished the TeX formatting._Mon Sep 19 05:14:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-20-696677000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-20-696677000-PDT.html[jyh] Improved clean._Mon Sep 19 05:14:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-21-599336000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-21-599336000-PDT.html[jyh] Add an export line after OMakeFlags_...__Mon Sep 19 05:14:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-22-221462000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-22-221462000-PDT.html[nogin] _ Fixing the TESTS_YES compilation _again_._Mon Sep 19 05:14:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-22-572695000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-22-572695000-PDT.html[nogin] Ported the new style of mp_version.ml creating back to make system._Mon Sep 19 05:14:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-22-948789000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-22-948789000-PDT.html[jyh] Split locale functions from Lm_string_util into Lm_ctype._Mon Sep 19 05:14:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-23-361954000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-23-361954000-PDT.html[jyh] Win32 _really_ does not like commands that start with ./ or ._._Mon Sep 19 05:14:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-23-931662000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-23-931662000-PDT.html[jyh] I should name these variables better._Mon Sep 19 05:14:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-24-336491000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-24-336491000-PDT.html[nogin] Now MetaPRL considers first_order variables to be something entirely seperate_Mon Sep 19 05:14:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-24-728977000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-24-728977000-PDT.html[jyh] Added a version checker to OMakefile. Sorry, you will have to upgrade_Mon Sep 19 05:14:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-28-902754000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-28-902754000-PDT.html[nogin] _ When .omakedb is present, use omake instead of make for check_status._Mon Sep 19 05:14:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-29-769118000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-29-769118000-PDT.html[nogin] Make the defaults a bit more explicit._Mon Sep 19 05:14:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-30-262484000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-30-262484000-PDT.html[nogin] Renaming config _make/omake_ variables__Mon Sep 19 05:14:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-30-668016000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-30-668016000-PDT.html[nogin] Adding a link to Bugzilla _now that we use it so extensively, it needs_Mon Sep 19 05:14:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-31-474715000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-31-474715000-PDT.html[nogin] Gave libmojave its own install target __LMINSTALL_ instead of using_Mon Sep 19 05:14:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-32-314299000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-32-314299000-PDT.html[crt] added some info about me_Mon Sep 19 05:14:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-32-692356000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-32-692356000-PDT.html[nogin] Moved the core _special_ opnames into the Opname module. They used to be_Mon Sep 19 05:14:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-33-094747000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-33-094747000-PDT.html[nogin] Working on bug 76. Fixed a number of bugs in Term_std._Mon Sep 19 05:14:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-33-824168000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-33-824168000-PDT.html[nogin] Added two new deug__ variables__Mon Sep 19 05:14:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-34-504835000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-34-504835000-PDT.html[nogin] This fixes a number of bugs in Term_std._Mon Sep 19 05:14:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-35-291187000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-35-291187000-PDT.html[jyh] Updated ...partially..._ to the new omake build._Mon Sep 19 05:14:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-36-061025000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-36-061025000-PDT.html[jyh] Add the optional dependencies._Mon Sep 19 05:14:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-36-466572000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-36-466572000-PDT.html[jyh] Ouch_ I_m sorry, the build fails on mojave__Mon Sep 19 05:14:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-36-856086000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-36-856086000-PDT.html[nogin] Adding full bibliography data for the MetaPRL TPHOLs 2003 system description._Mon Sep 19 05:14:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-38-432487000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-38-432487000-PDT.html[nogin] Somehow this was dropped from the file, adding back._Mon Sep 19 05:14:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-38-950675000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-38-950675000-PDT.html[jyh] Force the use of omake 0.7.1, with optional dependencies._Mon Sep 19 05:14:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-39-363581000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-39-363581000-PDT.html[nogin] Adding the theories/mojave/arch/ra directory to the make build system._Mon Sep 19 05:14:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-39-948172000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-39-948172000-PDT.html[nogin] The .cmx_ .cmx dependencies were not generated correctly in case of .mlz files._Mon Sep 19 05:14:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-40-882382000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-40-882382000-PDT.html[nogin] Killing a number of unneeded _open_ directives._Mon Sep 19 05:14:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-41-274855000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-41-274855000-PDT.html[jyh] Started the Mojave compiler paper for the FDL. The intro must be changed._Mon Sep 19 05:14:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-42-186332000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-42-186332000-PDT.html[jyh] Ignore fdl generated files._Mon Sep 19 05:14:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-42-847521000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-42-847521000-PDT.html[jyh] Remember to clean up generated files._Mon Sep 19 05:14:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-43-196871000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-43-196871000-PDT.html[jyh] Initial FDL version of the M_paper._Mon Sep 19 05:14:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-43-575410000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-43-575410000-PDT.html[nogin] Removed the optional .mli dependencies from the .SCANNER rules._Mon Sep 19 05:14:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-45-949020000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-45-949020000-PDT.html[nogin] Moving shell_http to support/shell, where it belongs._Mon Sep 19 05:14:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-47-293693000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-47-293693000-PDT.html[nogin] This fixes bug 87_ now MetaPRL will use Lm_terminfo instead of using_Mon Sep 19 05:14:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-48-038336000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-48-038336000-PDT.html[jyh] Add squashed_dependencies. This requires the use of omake 0.7.2._Mon Sep 19 05:14:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-48-554554000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-48-554554000-PDT.html[nogin] Scanner for .ppo also depends on __squashed_dependencies _.mli__Mon Sep 19 05:14:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-48-936583000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-48-936583000-PDT.html[nogin] OCaml version is in mk/defaults now, not mk/preface._Mon Sep 19 05:14:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-49-318131000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-49-318131000-PDT.html[nogin] Explicitly point to the README file in the patches directory._Mon Sep 19 05:14:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-49-690607000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-49-690607000-PDT.html[jyh] Added a new intro to the FDL paper._Mon Sep 19 05:14:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-50-076039000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-50-076039000-PDT.html[nogin] _ Adding a _doc_ target that would build all the files that are_Mon Sep 19 05:14:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-50-640747000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-50-640747000-PDT.html[jyh] Build the ocaml book from book2.tex._Mon Sep 19 05:14:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-51-855886000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-51-855886000-PDT.html[jyh] Ignore more generated files._Mon Sep 19 05:14:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-52-301515000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-52-301515000-PDT.html[nogin] _omake doc_ include doc/ps/theories/_theories,ocaml_book_._ps,pdf__Mon Sep 19 05:14:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-53-292638000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-53-292638000-PDT.html[nogin] _ This fixes all_theories.pdf build _bug 57__Mon Sep 19 05:14:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-53-821340000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-53-821340000-PDT.html[crt] Added the ISSRE03 paper on Building reliable compilers using MetaPRL_Mon Sep 19 05:14:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-55-299935000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-55-299935000-PDT.html[nogin] Rewrote the term comparison function. Now the code is cleaner and faster._Mon Sep 19 05:14:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-55-805069000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-55-805069000-PDT.html[nogin] Some more clean_up._Mon Sep 19 05:14:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-56-415338000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-56-415338000-PDT.html[nogin] I rolled back a bunch of changes that were made when reformatting from_Mon Sep 19 05:14:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-56-975115000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-56-975115000-PDT.html[nogin] Fixed most of the overfulls, other formatting fixes._Mon Sep 19 05:14:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-58-353940000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-58-353940000-PDT.html[nogin] Use the same ocaml flags in make, omake and prlc compilations._Mon Sep 19 05:14:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-59-375210000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-14-59-375210000-PDT.html[nogin] In the previous commit I undated the checks, but forgot to update the error_Mon Sep 19 05:15:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-00-175601000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-00-175601000-PDT.html[] This commit was manufactured by cvs2svn to create branch _ocaml_3_07_._Mon Sep 19 05:15:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-00-719092000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-00-719092000-PDT.html[nogin] First step towards making it work with OCaml 3.07 _on a branch for now_._Mon Sep 19 05:15:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-19-860986000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-19-860986000-PDT.html[yegor] Two debug variables debug_graph_arith1 and debug_graph_arith2 added._Mon Sep 19 05:15:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-20-560197000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-20-560197000-PDT.html[nogin] Package.is_loaded used to return _true_ for theories that were only partially_Mon Sep 19 05:15:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-21-085956000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-21-085956000-PDT.html[nogin] Added a few comments._Mon Sep 19 05:15:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-21-745262000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-21-745262000-PDT.html[nogin] A little more progress towards ocaml 3.07 compatibility._Mon Sep 19 05:15:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-22-269512000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-22-269512000-PDT.html[nogin] Working on switching from our ad_hoc macro.ml package to the new pa_macro_Mon Sep 19 05:15:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-23-164265000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-23-164265000-PDT.html[n8gray] Fixed a few bugs in the procedure and added info about OMake. Note that I can_t_Mon Sep 19 05:15:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-25-371067000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-25-371067000-PDT.html[nogin] Working on the macro conversion, but omake is giving me trouble._Mon Sep 19 05:15:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-25-971537000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-25-971537000-PDT.html[nogin] Allow more then one macro declaration in branches of an IFDEF._Mon Sep 19 05:15:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-27-242213000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-27-242213000-PDT.html[nogin] Support INCLUDE directives._Mon Sep 19 05:15:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-28-034955000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-28-034955000-PDT.html[nogin] Finished getting rid of rewrite_types_sig module _we had an .mlz file_Mon Sep 19 05:15:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-28-732652000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-28-732652000-PDT.html[nogin] Implemented SEQ_SET as an actual module, not a macro _the module itself_Mon Sep 19 05:15:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-29-866644000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-29-866644000-PDT.html[yegor] Got rid of nth_hyp. Sorry about that _ it was a temporary shortcut but became permanent _as usual_._Mon Sep 19 05:15:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-30-722439000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-30-722439000-PDT.html[nogin] Added support for DEFINE name _ expr IN expr _local_ macros._Mon Sep 19 05:15:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-31-353729000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-31-353729000-PDT.html[nogin] Do macro param/local macro substitutions in _do _ ... ___Mon Sep 19 05:15:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-32-347069000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-32-347069000-PDT.html[yegor] After all I was looking in the wring place. The problem fixed by replacing progressT with repeatT in Itt_int_arith.sumListT. It looks like progressT behaves differently in Term_std _from Term_ds_._Mon Sep 19 05:15:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-32-886620000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-32-886620000-PDT.html[nogin] Implemented the _NOTHING_ macro._Mon Sep 19 05:15:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-33-737804000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-33-737804000-PDT.html[nogin] Refiner finally compiles with the new macro package._Mon Sep 19 05:15:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-35-195350000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-35-195350000-PDT.html[nogin] Better comment._Mon Sep 19 05:15:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-36-008004000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-36-008004000-PDT.html[nogin] Currently, refiner/refsig/_Makefile assume that all files in refiner/refsig_Mon Sep 19 05:15:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-36-466195000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-36-466195000-PDT.html[nogin] Posted the latest version of the MERLIN paper._Mon Sep 19 05:15:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-37-196906000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-10/2005-09-19-05-15-37-196906000-PDT.html