BPL SVN repository

From PLSwiki

BPL related documents and code files are stored in a common Subversion (SVN) repository.

Contents 1 Repository access 2 Repository structure 3 Editing web pages 4 RSS feeds

Repository access

To check out a local copy of the repository into your own directory, chdir to this directory and issue the SVN checkout command

svn checkout svn+ssh://ssh.itu.dk/import/stud/share/projects/bpl/svn/trunk bplproject

This will check out the entire repository, rooted in a directory named bplproject. You can remove any subdirectory trees you don't need (e.g., bplproject/impl or bplproject/doc/submitted/*). You can also check out just a subtree by issuing a command like this:

svn checkout svn+ssh://ssh.itu.dk/import/stud/share/projects/bpl/svn/trunk/doc/projects working-projects

Repository structure

This is currently (May 2007) the repository structure:

bplproject
+-doc  (bpl.bib)    ; Subtree for "theoretical" document sources
| +-projects
| | +-axb
| | | +-work          (axb.tex, macros.sty, ...)
| | | +-NJC-2005      (njc-2005.tex, macros.sty, ...)
| | | +-TR            (tr-1234.tex, macros.sty, ...)
| | :
| | +-sortings
| |   +-work          (opfibrations.tex, macros.sty, ...)
| |   +-CONCUR-2006   (concur-2006.tex, macros.sty, ...)
| |   +-TR            (tr-2345.tex, macros.sty, ...)
| |
| +-submitted       ; Subtree for submitted "theoretical" documents
| | +-axb             (njc-2005.pdf, tr-1234.pdf)
| | :
| | +-sortings        (concur-2006.pdf, tr-2345.pdf)
| |
| +-papers          ; Relevant papers downloaded from elsewhere
|
+-impl              ; Subtree for code sources, documentation etc.
| +-bpl
| | +-doc           ; Documentation (API, implementation design docs, etc.)
| | +-src
| | | +-kernel      ; BPL kernel code
| | | +-apps        ; Applications using BPL kernel
| | +-www           ; Project specific web pages (API's etc.)
| |
| +-reactivexml
| | +-...
| :
| +-...
|
+-www               ; BPL web pages

Editing web pages

Whenever files are committed in the bplproject/www subtree, they will automatically be published on the BPL web pages at http://www.itu.dk/research/theory/bpl.

RSS feeds

Some RSS feeds have been set up to notify of commits in certain subtrees of the repository:

• BPL Subversion Commits Feed reports the author and file path affected by every commit.
• BPL SMLDoc API Generation Failures Feed reports if a commit of SML code under impl/bpl/src has caused an error in the automatic BPL API Doc generation.