[yegor] Display forms are started._Mon Sep 19 06:12:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-44-168064000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-44-168064000-PDT.html[nogin] Adding theories/mojave/extensions/string_Mon Sep 19 06:12:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-46-173090000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-46-173090000-PDT.html[natasha] 1. some display forms are defined_Mon Sep 19 06:12:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-48-560289000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-48-560289000-PDT.html[nogin] The theories/mojave now lives in a separate CVS repository _mmc_ on cvs.metaprl.org._Mon Sep 19 06:12:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-55-368738000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-55-368738000-PDT.html[jyh] Add Mmc_ prefix in the syntax.pho and .prla files._Mon Sep 19 06:12:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-59-452839000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-12-59-452839000-PDT.html[jyh] Added closure conversion on assembly code._Mon Sep 19 06:13:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-06-464831000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-06-464831000-PDT.html[jyh] 1. Updated standardization to start from index 1._Mon Sep 19 06:13:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-09-853924000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-09-853924000-PDT.html[natasha] product _ substitution _ application over whole contexts transformed_Mon Sep 19 06:13:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-10-654339000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-10-654339000-PDT.html[jyh] Updated var_subst to avoid capture._Mon Sep 19 06:13:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-11-679603000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-11-679603000-PDT.html[natasha] display forms for applH and Inductive Definitions are defined_Mon Sep 19 06:13:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-13-028998000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-13-028998000-PDT.html[jyh] A few changes__Mon Sep 19 06:13:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-13-555812000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-13-555812000-PDT.html[jyh] 1. Removed the naming stage._Mon Sep 19 06:13:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-15-628792000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-15-628792000-PDT.html[jyh] Moved beta reduction into the Mmc_core_inline module._Mon Sep 19 06:13:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-23-459066000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-23-459066000-PDT.html[jyh] Added a dead code elimination phase to get rid of at least some of the junk._Mon Sep 19 06:13:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-24-107819000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-24-107819000-PDT.html[natasha] The first approximation of display forms is ready._Mon Sep 19 06:13:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-25-408404000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-25-408404000-PDT.html[jyh] Added a slot[str_s, width_n] term that acts as a hint to the formatter_Mon Sep 19 06:13:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-25-983742000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-25-983742000-PDT.html[jyh] A minor change to display_ display forms are parenthesized only if_Mon Sep 19 06:13:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-28-178531000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-28-178531000-PDT.html[jyh] By default, display keywords in bold._Mon Sep 19 06:13:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-29-434546000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-29-434546000-PDT.html[natasha] first proof _in parameterized list example__Mon Sep 19 06:13:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-31-050304000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-31-050304000-PDT.html[jyh] Added rudimentary support for display in a Web Browser._Mon Sep 19 06:13:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-51-839950000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-51-839950000-PDT.html[jyh] Removed .js files from support/shell/Files_Mon Sep 19 06:13:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-56-588835000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-56-588835000-PDT.html[jyh] Removed support for frames._Mon Sep 19 06:13:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-57-030143000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-13-57-030143000-PDT.html[jyh] Added layout control based on browser window size _as Aleksey_Mon Sep 19 06:14:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-00-799973000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-00-799973000-PDT.html[jyh] Added support to start the browser at startup. The typical use is_Mon Sep 19 06:14:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-01-856078000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-01-856078000-PDT.html[jyh] Remove the reference for Shell_http._Mon Sep 19 06:14:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-04-818603000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-04-818603000-PDT.html[jyh] Added a __dform_ ... __ quotation, so we can use doc_style notation_Mon Sep 19 06:14:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-05-201169000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-05-201169000-PDT.html[jyh] Actually, the space__t_ term should probably be called text__t_._Mon Sep 19 06:14:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-06-098460000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-06-098460000-PDT.html[jyh] Trying to get output to display correctly in the browser._Mon Sep 19 06:14:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-06-538065000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-06-538065000-PDT.html[nogin] This implements bug 188__Mon Sep 19 06:14:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-07-098212000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-07-098212000-PDT.html[nogin] The links to the inputs directory should be _/inputs/..._, not _inputs/..._._Mon Sep 19 06:14:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-09-560721000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-09-560721000-PDT.html[jyh] Added message pane, but only toploop output is captured to the message window._Mon Sep 19 06:14:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-09-993464000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-09-993464000-PDT.html[nogin] Removin unused/unneeded _open_ statements._Mon Sep 19 06:14:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-10-727983000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-10-727983000-PDT.html[nogin] Minor changes._Mon Sep 19 06:14:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-11-467647000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-11-467647000-PDT.html[jyh] This is an annoying commit. It looks massive, but many of the changes_Mon Sep 19 06:14:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-11-852604000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-11-852604000-PDT.html[jyh] Forgot the add the FORMAT option to the Makefiles._Mon Sep 19 06:14:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-27-433813000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-27-433813000-PDT.html[nogin] A few minor HTML fixes._Mon Sep 19 06:14:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-27-826751000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-27-826751000-PDT.html[jyh] Display output correctly in browser mode._Mon Sep 19 06:14:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-28-296118000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-28-296118000-PDT.html[jyh] Use CSS stylesheets instead of hardcoding fonts and colors._Mon Sep 19 06:14:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-28-969999000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-28-969999000-PDT.html[jyh] Browser layout should be updated using BODY.onLoad, not in the HEAD_Mon Sep 19 06:14:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-29-706766000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-29-706766000-PDT.html[nogin] _ Removed Lm_string_util.concal which was just duplicating String.concat._Mon Sep 19 06:14:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-30-278682000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-30-278682000-PDT.html[nogin] When dealing with Ocaml toploop, we must use the Ocaml Formal module._Mon Sep 19 06:14:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-31-361824000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-31-361824000-PDT.html[nogin] When a non_existing theory is specified in a URL, print a Not_found error page,_Mon Sep 19 06:14:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-31-774132000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-31-774132000-PDT.html[jyh] Some minor changes to the browser display mode. This _should__Mon Sep 19 06:14:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-32-164176000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-32-164176000-PDT.html[nogin] _ For Last_modified, do not forget to add 1900 to the year._Mon Sep 19 06:14:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-33-429054000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-33-429054000-PDT.html[nogin] 1. Make sure all session _i.e. non_special_ URLs end with a /._Mon Sep 19 06:14:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-33-916314000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-33-916314000-PDT.html[nogin] Removing some code left over from the old_style comments support._Mon Sep 19 06:14:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-34-695485000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-34-695485000-PDT.html[nogin] __ WARNING _ this breaks .prla/.cmoz binary compatibility, export ypur proofs ___Mon Sep 19 06:14:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-35-823837000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-35-823837000-PDT.html[nogin] nat_is_int should be added to nth_hyp, not intro._Mon Sep 19 06:14:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-38-531854000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-38-531854000-PDT.html[nogin] Small step towards making the resource annotations on itt_group rules_Mon Sep 19 06:14:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-38-933074000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-14-38-933074000-PDT.html[nogin] Be more clean on _omake clean__Mon Sep 19 06:15:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-41-878182000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-41-878182000-PDT.html[yegor] FORMAT was missing_Mon Sep 19 06:15:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-42-332305000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-42-332305000-PDT.html[jyh] Added some widgets to the browser. Widgets are context_sensitive,_Mon Sep 19 06:15:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-42-711727000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-42-711727000-PDT.html[nogin] _ Another minor change in resource annotations _subset intro is now_Mon Sep 19 06:15:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-43-902282000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-15-43-902282000-PDT.html[nogin] This commit changes the way the AutoMustComplete flag for intro annotations is_Mon Sep 19 06:16:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-16-40-817187000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-16-40-817187000-PDT.html[nogin] [Bug 129] Got rid of the eqcd resource and the eqcdT tactic._Mon Sep 19 06:18:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-03-163620000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-03-163620000-PDT.html[nogin] Adding m_paper_hosc, that uses kluwer style. Surprizingly, the formatting_Mon Sep 19 06:18:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-06-017808000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-06-017808000-PDT.html[nogin] Citations style._Mon Sep 19 06:18:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-08-728623000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-08-728623000-PDT.html[nogin] Removing some dead code._Mon Sep 19 06:18:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-09-095359000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-09-095359000-PDT.html[nogin] _ Updated the title_Mon Sep 19 06:18:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-10-291180000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-10-291180000-PDT.html[jyh] I had been working on the browser sporadically_ here is a demo_Mon Sep 19 06:18:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-11-309854000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-11-309854000-PDT.html[emre] Attempting to tweak/clean_up the Mac OS X README. Also attempted to_Mon Sep 19 06:18:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-12-545900000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-12-545900000-PDT.html[jyh] Somehow, I forgot to add these files in the last browser commit._Mon Sep 19 06:18:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-13-086755000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-13-086755000-PDT.html[n8gray] Some mpopt args might be more than one word. Also added ppc directory to_Mon Sep 19 06:18:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-13-598112000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-13-598112000-PDT.html[n8gray] Browser command might be more than one word. E.g. _open _a safari_._Mon Sep 19 06:18:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-13-996062000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-13-996062000-PDT.html[nogin] Made some of the changes discussed earlier._Mon Sep 19 06:18:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-14-828033000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-14-828033000-PDT.html[jyh] Remove aggressive use of Lm_rformat. To use the normal format library,_Mon Sep 19 06:18:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-15-958239000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-15-958239000-PDT.html[jyh] Remove some references to Lm_format._Mon Sep 19 06:18:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-18-943301000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-18-943301000-PDT.html[jyh] Removing more dependencies on Lm_format._Mon Sep 19 06:18:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-19-493118000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-19-493118000-PDT.html[emre] print_symbol didn_t seem to be defined anymore _meaning the module_Mon Sep 19 06:18:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-20-219815000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-20-219815000-PDT.html[jyh] This should remove the final vestige of Lm_format in the omake_Mon Sep 19 06:18:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-20-645780000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-20-645780000-PDT.html[jyh] Sorry for the spam commits. I_m hoping this is the final change to IO_Mon Sep 19 06:18:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-22-285184000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-22-285184000-PDT.html[natasha] cic_ind_type_ reversed rewrites and some primitive tactics added_Mon Sep 19 06:18:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-24-856199000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-24-856199000-PDT.html[yegor] Enabled rwh to go through sequent_term._Mon Sep 19 06:18:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-25-403376000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-25-403376000-PDT.html[jyh] For the formatter, added an _azone_ that assumes that its body is_Mon Sep 19 06:18:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-25-843825000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-25-843825000-PDT.html[yegor] cic_ind_type_ indWrapC fixed_Mon Sep 19 06:18:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-26-926559000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-26-926559000-PDT.html[jyh] Modified some text in the M_paper. The main issue we must deal with_Mon Sep 19 06:18:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-27-504545000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-27-504545000-PDT.html[nogin] A few fixed to the first 10 pages._Mon Sep 19 06:18:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-28-172619000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-28-172619000-PDT.html[yegor] cic_lambda _ declarations of bind removed_Mon Sep 19 06:18:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-28-633442000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-28-633442000-PDT.html[nogin] In TeX mode, put quotes in displayed as __...__._Mon Sep 19 06:18:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-29-235457000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-29-235457000-PDT.html[nogin] _ Added some text in the summary, comparing different CPS approaches _both the_Mon Sep 19 06:18:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-29-677258000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-29-677258000-PDT.html[nogin] A few more changes to the CPS text. Jason, are we done__Mon Sep 19 06:18:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-30-309926000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-30-309926000-PDT.html[jyh] A very minor change to the wording._Mon Sep 19 06:18:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-30-783588000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-30-783588000-PDT.html[nogin] A number of minor MP_DEBUG_spell fixes._Mon Sep 19 06:18:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-31-184096000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-31-184096000-PDT.html[jyh] A slight change to the browser interface._Mon Sep 19 06:18:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-31-677934000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-31-677934000-PDT.html[nogin] MP_DEBUG_spell fixes._Mon Sep 19 06:18:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-32-623112000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-32-623112000-PDT.html[nogin] _ Updated the Merlin entry _as the ACM volume is finally published__Mon Sep 19 06:18:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-33-584103000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-33-584103000-PDT.html[nogin] HTML fixes._Mon Sep 19 06:18:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-34-091179000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-34-091179000-PDT.html[jyh] Added some more buttons to the browser interface._Mon Sep 19 06:18:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-34-559870000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-34-559870000-PDT.html[jyh] Oops, accidentally commited the doublespace version._Mon Sep 19 06:18:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-36-170290000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-36-170290000-PDT.html[nogin] Spelling should not be checked inside the tt and rulebox operators _since_Mon Sep 19 06:18:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-36-561968000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-36-561968000-PDT.html[nogin] Spelling exceptions cleanup._Mon Sep 19 06:18:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-38-240796000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-38-240796000-PDT.html[jyh] This adds the final major feature I wanted to add to the browser__Mon Sep 19 06:18:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-40-259230000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-40-259230000-PDT.html[nogin] The _INLUDE_ directive was missing from the list of possible top_level_Mon Sep 19 06:18:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-42-265739000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-42-265739000-PDT.html[kopylov] Added links to my thesis_Mon Sep 19 06:18:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-42-660218000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-42-660218000-PDT.html[kopylov] Added my thesis in Metaprl paper page_Mon Sep 19 06:18:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-43-061225000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-43-061225000-PDT.html[natasha] mpconfig _ theories/cic was not present in INCLUDES_Mon Sep 19 06:18:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-44-614208000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-44-614208000-PDT.html[natasha] For some reason CVS didn_t commit cic_files in the previous commit_Mon Sep 19 06:18:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-45-098542000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-45-098542000-PDT.html[natasha] moving towards the correctness proof of the inductive definition of the list type_Mon Sep 19 06:18:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-47-375515000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-04/2005-09-19-06-18-47-375515000-PDT.html