[krupski] small bug in timestamps_ fixed._ Mon Sep 19 02:46:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-47-245226000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-47-245226000-PDT.html [yegor] some documenting markup and resource annotation added_ Mon Sep 19 02:46:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-47-701595000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-47-701595000-PDT.html [jyh] Fixed the problem with leftward_moving margins, for example__ Mon Sep 19 02:46:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-48-415995000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-48-415995000-PDT.html [yegor] reduce_resources added and theories added to Makefile_ Mon Sep 19 02:46:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-50-014924000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-50-014924000-PDT.html [yegor] A couple of rewrites turn from primitive to interative_ Mon Sep 19 02:46:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-51-095177000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-51-095177000-PDT.html [nogin] Fixed Yegor_s typos that prevented MetaPRL from staring _Yegor, please_ Mon Sep 19 02:46:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-51-534106000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-51-534106000-PDT.html [nogin] 1_ Proved some _Formation rules that used to be primitive _using in part_ Mon Sep 19 02:46:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-52-087534000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-10/2005-09-19-02-46-52-087534000-PDT.html