From: Deborah Mcguinness ([email protected])
Date: 03/03/01
the updated axiomatic semantics is available (in word, html, and text) from: http://www.ksl.Stanford.EDU/people/dlm/daml-semantics/abstract-axiomatic-semantics.html d Mike Dean wrote: > I just moved the draft DAML+OIL (March 2001) release to [1], > and edited various documents to rename the language from > DAML+OIL+DT and account for the fact that www.daml.org URIs > are case-sensitive. > > When we were wrapping up DAML+OIL (December 2000), I had > promised that CVS would be available for this release. Here > are the details, including some info for those not already > familiar with CVS. > > For those interested in using CVS to edit the release > documents directly: > > 1) Send [email protected] a message requesting an account on > cvs.daml.org (aka www.daml.org). Include your preferred > username; we'll generate a password and send it to you. > > 2) Download cvs.exe from [2]. You'll want to add it to a > directory already in your path, or add the directory > containing it to your path each time you use it. Macintosh > CVS clients also exist, but it's been a while since I've > used them. > > 3) Create a new directory (e.g. c:\daml, which I use and > will use in this example) to be the root of your checked-out > CVS hierarchy. > > 4) Your first time only, execute the commands: > > cd \daml > set CVSROOT=:pserver:[email protected]:/home/mdean/daml_cvs_root > cvs login > your password > cvs checkout www/http/2001/03 > > 5) For subsequent updates, execute the non-rem commands: > > cd \daml\www\http\2001\03 > > rem ensure you have the latest version > cvs update > > rem edit the file(s) > > rem ensure you changed only what you thought you changed > cvs diff > > rem check-in the updates > cvs commit > include a descriptive comment regarding your changes > > 6) The current contents of the www/http/2001/03 CVS > directory are copied to [1] as part of a script (available > in CVS at build/nightly.csh) that runs nightly at midnight > EST. > > Thanks! > > Mike > > [1] http://www.daml.org/2001/03/ (start with daml+oil-index.html) > > [2] http://www.cvshome.org/ -- Deborah L. McGuinness Knowledge Systems Laboratory Gates Computer Science Building, 2A Room 241 Stanford University, Stanford, CA 94305-9020 email: [email protected] URL: http://ksl.stanford.edu/people/dlm/index.html (voice) 650 723 9770 (stanford fax) 650 725 5850 (computer fax) 801 705 0941
This archive was generated by hypermail 2.1.4 : 04/02/02 EST