[nogin] _ Fixed the unquoting problem that caused some .prla files to be misread._ Mon Sep 19 02:31:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-29-468381000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-29-468381000-PDT.html [nogin] Additional debugging._ Mon Sep 19 02:31:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-41-095663000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-41-095663000-PDT.html [nogin] _ Do not forget to reset the proof item address before leaving the item._ Mon Sep 19 02:31:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-41-480635000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-41-480635000-PDT.html [nogin] More TODO items._ Mon Sep 19 02:31:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-41-954846000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-41-954846000-PDT.html [nogin] TODO _ updated after first round of discussion with Jason._ Mon Sep 19 02:31:42 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-42-457444000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-42-457444000-PDT.html [nogin] Backported some of Jason_s changes._ Mon Sep 19 02:31:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-44-137691000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-44-137691000-PDT.html [nogin] Squah away attributes at unjustified nodes _still need to figure out why_ Mon Sep 19 02:31:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-44-707293000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-44-707293000-PDT.html [jyh] Added readline input handling._ Mon Sep 19 02:31:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-52-565903000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-52-565903000-PDT.html [nogin] TODO _ ocamldebug and ocamlprof support._ Mon Sep 19 02:31:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-53-387303000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-53-387303000-PDT.html [jyh] Fixed the problem with loading multiple theories that share_ Mon Sep 19 02:31:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-53-764979000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-53-764979000-PDT.html [jyh] Fixed the problem with loading and editing several theories that have common_ Mon Sep 19 02:31:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-55-373783000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-55-373783000-PDT.html [nogin] Better display forms for raw IO terms._ Mon Sep 19 02:31:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-56-079668000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-56-079668000-PDT.html [nogin] debug_base display form base should be in Dform, not in Proof_boot.Proof_ Mon Sep 19 02:31:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-56-485691000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-56-485691000-PDT.html [nogin] Moved the debugging _format___ code around. Added more of it._ Mon Sep 19 02:31:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-57-086550000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-57-086550000-PDT.html [nogin] _ Fixed the problem with leaking attributes._ Mon Sep 19 02:31:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-57-791136000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-31-57-791136000-PDT.html [nogin] Threat other _serious_ exceptions from Pervasives in the same way as Invalid_argument._ Mon Sep 19 02:34:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-34-16-273912000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2000-07/2005-09-19-02-34-16-273912000-PDT.html