[jyh] On Win32, the OpenSSL libraries have been renamed._ Sun Aug 13 15:27:13 PDT 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-13-15-27-13-115029000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-13-15-27-13-115029000-PDT.html [nogin] Killing a debugging line that was accidentally committed._ Tue Aug 15 11:10:45 PDT 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-15-11-10-45-819767000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-15-11-10-45-819767000-PDT.html [nogin] Better _source file is shadowed by a stale binary file_ error message._ Sun Aug 20 17:28:08 PDT 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-20-17-28-08-371503000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-20-17-28-08-371503000-PDT.html [nogin] Gave an explicit definition to div and rem. Replaced all the relevant axiom_ Wed Aug 23 14:16:53 PDT 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-23-14-16-53-551443000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-23-14-16-53-551443000-PDT.html [nogin] Added TermOp.mk_string_dep0_dep0_dep0_term_ Wed Aug 23 16:31:14 PDT 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-23-16-31-14-633553000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-23-16-31-14-633553000-PDT.html [nogin] Implemented support for _opqaue_ definitions. An _opaque_ definition can only_ Thu Aug 24 12:04:45 PDT 2006 http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-24-12-04-45-396983000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2006-08/2006-08-24-12-04-45-396983000-PDT.html