[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