[nogin] _ Xin, we are no longer using _operator_ _ _bterm_ approach _in fact, we are_Mon Sep 19 07:42:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-58-125481000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-58-125481000-PDT.html[nogin] More on concrete operators._Mon Sep 19 07:42:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-58-629053000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-58-629053000-PDT.html[jyh] Revised the text on functors._Mon Sep 19 07:42:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-59-044980000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-59-044980000-PDT.html[jyh] Forgot these files._Mon Sep 19 07:42:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-59-872569000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-42-59-872569000-PDT.html[nogin] ___ WARNING_ Breaks binary compatibility ____Mon Sep 19 07:43:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-00-298600000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-00-298600000-PDT.html[nogin] RefineError __ RefineForceError._Mon Sep 19 07:43:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-03-132831000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-03-132831000-PDT.html[nogin] Use LexStringSet instead of StringSet in UI._Mon Sep 19 07:43:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-03-509809000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-03-509809000-PDT.html[yegor] One unification rule that was introduced for multi_modal case_Mon Sep 19 07:43:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-03-903051000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-03-903051000-PDT.html[yegor] Made multimodal_specific rule more narrow_Mon Sep 19 07:43:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-04-274374000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-04-274374000-PDT.html[yegor] Removed one more redundant application of the multi_modal rule._Mon Sep 19 07:43:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-04-624775000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-04-624775000-PDT.html[yegor] More tests_Mon Sep 19 07:43:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-04-982909000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-04-982909000-PDT.html[ljia] Add examples_Mon Sep 19 07:43:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-06-105555000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-06-105555000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 07:43:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-10-042792000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-07-43-10-042792000-PDT.html[ljia] Edit_Mon Sep 19 08:06:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-06-632929000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-06-632929000-PDT.html[jyh] OMakefiles for omake 0.9.7_Mon Sep 19 08:06:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-08-145698000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-08-145698000-PDT.html[nogin] Use configure for readline/ncurses._Mon Sep 19 08:06:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-12-124745000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-12-124745000-PDT.html[nogin] Changed the names of some of the _J_ modules. This was necessary because OCaml_Mon Sep 19 08:06:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-13-489053000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-13-489053000-PDT.html[jyh] More text for the book._Mon Sep 19 08:06:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-14-112719000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-14-112719000-PDT.html[xiny] Added _listmem_set_._Mon Sep 19 08:06:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-15-371297000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-08-06-15-371297000-PDT.html[jyh] Added the svn_externals link for libmojave._Mon Sep 19 09:58:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-09-58-49-266300000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-09-58-49-266300000-PDT.html[jyh] We better use svn_// for libmojave, so people can check out read_only_Mon Sep 19 12:25:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-12-25-15-981506000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-12-25-15-981506000-PDT.html[nogin] Updated the externals definition for libmojave_ added an externals definition_Mon Sep 19 12:38:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-12-38-29-714876000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-12-38-29-714876000-PDT.html[nogin] Setting mime_type _application/x_metaprl_ on all the _.prla files to tell_Mon Sep 19 12:46:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-12-46-49-513686000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-12-46-49-513686000-PDT.html[nogin] Changes related to CVS __ Subversion switch__Mon Sep 19 13:45:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-13-45-47-136612000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-19-13-45-47-136612000-PDT.html[yegor] 1.Original set of prefix unification rules was incomplete for S4nJ, so it was slow on certain problems._Thu Sep 22 13:43:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-22-13-43-56-081428000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-22-13-43-56-081428000-PDT.html[jyh] Partial work on inheritance._Thu Sep 22 15:20:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-22-15-20-23-094698000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-22-15-20-23-094698000-PDT.html[xiny] Changed the definition of lang a little bit_Thu Sep 22 17:31:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-22-17-31-12-397903000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-22-17-31-12-397903000-PDT.html[xiny] Changed the design of _Lang_ so that _BTerm_ can be defined from it._Fri Sep 23 22:56:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-23-22-56-43-255899000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-23-22-56-43-255899000-PDT.html[xiny] Changed the definion of BTerm and other related notions using _Lang_._Fri Sep 23 23:51:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-23-23-51-20-980152000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-23-23-51-20-980152000-PDT.html[xiny] Proved some examples using the new operator implementaion._Sat Sep 24 18:21:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-24-18-21-56-464279000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-24-18-21-56-464279000-PDT.html[nogin] Fixing a few minor problesm that were preventing the Itt_hoas_operator proofs_Mon Sep 26 01:31:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-26-01-31-16-855751000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-26-01-31-16-855751000-PDT.html[nogin] Do not forget to close the INCLUDE files._Tue Sep 27 02:32:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-02-32-45-617661000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-02-32-45-617661000-PDT.html[nogin] I finnally found a way to solve the issue with locations in pa_macro_processed_Tue Sep 27 05:00:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-05-00-18-481799000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-05-00-18-481799000-PDT.html[nogin] Implemented proper location handling in quotations parsing _including the_Tue Sep 27 06:32:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-06-32-02-731439000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-06-32-02-731439000-PDT.html[nogin] My previous commit was incomplete, sorry__Tue Sep 27 07:22:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-07-22-42-858512000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-27-07-22-42-858512000-PDT.html[nogin] Complain if a Perv_Ignore binding is actually used._Wed Sep 28 00:24:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-00-24-03-882957000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-00-24-03-882957000-PDT.html[nogin] Removing a bit of unused code._Wed Sep 28 05:42:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-05-42-57-338977000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-05-42-57-338977000-PDT.html[nogin] Minor parser clean_up._Wed Sep 28 23:15:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-23-15-56-315873000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-23-15-56-315873000-PDT.html[nogin] Ignore gen_int_bench__Wed Sep 28 23:32:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-23-32-36-813140000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-28-23-32-36-813140000-PDT.html[nogin] This is a significant simplification of the interfaces that _push through_ the_Thu Sep 29 06:23:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-29-06-23-39-869154000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-29-06-23-39-869154000-PDT.html[nogin] Implemented the type_sensitive interpretation of binding contexts. Now_Thu Sep 29 08:23:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-29-08-23-11-469765000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-09/2005-09-29-08-23-11-469765000-PDT.html