[xiny] Fixed some typos in the documention._ Mon Sep 19 05:09:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-01-072376000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-01-072376000-PDT.html [granicz] Added magic/version to .cph file header._ Mon Sep 19 05:09:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-01-923362000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-01-923362000-PDT.html [granicz] Check whether we specify valid symbols in _prec of a rule._ Mon Sep 19 05:09:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-02-613387000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-02-613387000-PDT.html [nogin] Document all magic numbers in a single location._ Mon Sep 19 05:09:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-03-016858000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-03-016858000-PDT.html [xiny] Typo fixes in the documentation._ Mon Sep 19 05:09:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-03-376734000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-03-376734000-PDT.html [nogin] Cleaning up and refactoring the refiner implementation._ Mon Sep 19 05:09:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-04-118418000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-04-118418000-PDT.html [nogin] Xin _ Aleksey__ Mon Sep 19 05:09:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-05-352939000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-05-352939000-PDT.html [n8gray] Build_system changes for PREBUILT_CLIBS option._ Mon Sep 19 05:09:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-06-821089000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-06-821089000-PDT.html [n8gray] Build system changes for PREBUILT_CLIBS option._ Mon Sep 19 05:09:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-07-198807000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-07-198807000-PDT.html [nogin] Working on the MetaPRL publications page._ Mon Sep 19 05:09:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-07-549911000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-07-549911000-PDT.html [jyh] Copy files from the __PREBUILT_CLIBS_ directory._ Mon Sep 19 05:09:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-08-402567000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-08-402567000-PDT.html [nogin] Disable the display of cache status for now._ Mon Sep 19 05:09:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-09-076507000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-09-076507000-PDT.html [jyh] A newer config.win32_ Mon Sep 19 05:09:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-09-449356000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-09-449356000-PDT.html [jyh] Updated the .INCLUDE lines._ Mon Sep 19 05:09:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-09-805151000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-09-805151000-PDT.html [nogin] _ Adding TPHOLs cat B papers._ Mon Sep 19 05:09:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-10-148437000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-10-148437000-PDT.html [nogin] I think I solved the problem with regenerating mk/config__ Mon Sep 19 05:09:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-10-703516000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-10-703516000-PDT.html [nogin] Better comments._ Mon Sep 19 05:09:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-11-063932000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-11-063932000-PDT.html [nogin] Added Alexei_s dependent intersection paper._ Mon Sep 19 05:09:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-11-421919000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-11-421919000-PDT.html [nogin] Adding ISSRE paper _without any abstract or electronic version for now_._ Mon Sep 19 05:09:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-11-884433000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-11-884433000-PDT.html [nogin] Added Jason_s CADE system discription. I_ve added a link to the Springer_s site_ Mon Sep 19 05:09:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-12-238589000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-12-238589000-PDT.html [nogin] Added the original Nuprl_Light paper._ Mon Sep 19 05:09:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-12-702414000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-12-702414000-PDT.html [nogin] Adding the paper on FOrmal Design Environment_ Mon Sep 19 05:09:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-13-160930000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-13-160930000-PDT.html [nogin] Adding the MERLIN paper._ Mon Sep 19 05:09:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-13-864928000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-13-864928000-PDT.html [jyh] Implemented versioning, check_config, etc._ Mon Sep 19 05:09:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-14-289583000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-14-289583000-PDT.html [nogin] Changed the Refine.extract to contain a pointer to the sentinel used to_ Mon Sep 19 05:09:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-14-707089000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-14-707089000-PDT.html [nogin] I have implemented parsing of the proofs and extraction of the information_ Mon Sep 19 05:09:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-15-627811000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-15-627811000-PDT.html [nogin] Added an alias for _it_ _ _trivial_._ Mon Sep 19 05:09:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-16-359471000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-16-359471000-PDT.html [nogin] Killing the PREBUILT_CLIBS flag._ Mon Sep 19 05:09:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-16-740442000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-16-740442000-PDT.html [nogin] This fixed bug 32 _ _omake clean_ now really cleans everything in needs to clean_ Mon Sep 19 05:09:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-17-185093000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-17-185093000-PDT.html [nogin] _ Changed the way mp_version.ml is hapdled to be a _pp hack on a static .ml file._ Mon Sep 19 05:09:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-18-225130000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-18-225130000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 05:09:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-18-916438000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-18-916438000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 05:09:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-24-422530000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-24-422530000-PDT.html [jyh] Turn off threads. We need them only for the threaded refiner and the_ Mon Sep 19 05:09:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-29-274791000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-29-274791000-PDT.html [jyh] MetaPRL compiles and runs on Cygwin._ Mon Sep 19 05:09:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-29-991133000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-29-991133000-PDT.html [nogin] Extraction finally works___________ Mon Sep 19 05:09:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-30-399323000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-30-399323000-PDT.html [nogin] Start with empty MPFILES._ Mon Sep 19 05:09:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-31-711491000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-31-711491000-PDT.html [nogin] For tutorial, refreshing most .prla files in base and itt._ Mon Sep 19 05:09:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-32-069022000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-09-32-069022000-PDT.html [nogin] Killing the old tutorial, replacing all links to it with links to_ Mon Sep 19 05:13:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-44-319649000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-44-319649000-PDT.html [nogin] No tutorial anymore._ Mon Sep 19 05:13:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-44-956114000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-44-956114000-PDT.html [nogin] Version 0.9.5____ Mon Sep 19 05:13:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-45-344415000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-45-344415000-PDT.html [] This commit was manufactured by cvs2svn to create tag_ Mon Sep 19 05:13:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-45-703465000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-13-45-703465000-PDT.html [nogin] The version 0.9.5 is now tagged with CVS tag _metaprl_0_9_5_ and I am_ Mon Sep 19 05:14:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-14-01-627838000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-14-01-627838000-PDT.html [nogin] _ NCURSES should be on by default_ Mon Sep 19 05:14:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-14-02-015924000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2003-09/2005-09-19-05-14-02-015924000-PDT.html