From 4fd8dab8e165483a42301d17bd3b48c2ca449155 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Apr 2000 17:00:28 +0000
Subject: Added new project B4

---
 html/projects.phtml         |  1 +
 html/projects/reelcase.html | 34 ++++++++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 html/projects/reelcase.html

(limited to 'html')

diff --git a/html/projects.phtml b/html/projects.phtml
index edff89a5..a8c180aa 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -39,6 +39,7 @@ title.
 <li><?php pgproject("mm","Multiplexed Modes for Emacs") ?></li>
 <li><?php pgproject("scrgen","Script General") ?></li>
 <li><?php pgproject("corba","An Experimental CORBA binding for ML") ?></li>
+<li><?php pgproject("reelcase","A ClearCase-like Configuration Management tool for Linux") ?></li>
 </ol>
 
 <p>
diff --git a/html/projects/reelcase.html b/html/projects/reelcase.html
new file mode 100644
index 00000000..f5fa2f04
--- /dev/null
+++ b/html/projects/reelcase.html
@@ -0,0 +1,34 @@
+<h2>A ClearCase-like Configuration Management tool for Linux</h2>
+<p>
+Managing large libraries of theories and proofs, good software
+engineering practices of configuration management become important
+when using proof assistants.  One powerful and popular configuration
+management tool is the commercial <a
+href="http://www.rational.com/products/clearcase/index.jtmpl">Rational
+ClearCase</a>.  
+</p>
+<p>
+The crucial way that ClearCase goes beyond CVS is in providing a view
+of a configuration directly through a special mountpoint on
+the filesystem.  
+</p>
+<p>
+This is a project to implement a kernel-level filesystem driver for
+Linux using the Linux VFS to create a ClearCase-like view of a
+configuration, through a mountable filesystem.  The underlying
+configuration management could be done through RCS or CVS, perhaps
+invoked via a companion user-level process.
+Particular revisions of files should be accessible through names
+interpreted specially by the filesystem driver, and some
+user-level commands will be needed for other operations.
+</p>
+<p>
+<b>Skills:</b> 
+Expert C programmer, with ability to understand and work on Linux
+kernel code.  Understanding of configuration management principles.
+</p><p>
+<b>Proposers:</b>
+<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>
+from an idea by 
+<a href="http://www.dcs.ed.ac.uk/home/cxl">Christoph L&uuml;th</a>
+</p>
-- 
cgit v1.2.3