Index of /fp/darcs/proplang

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] PropLang/               06-Mar-2008 17:47    -   
[   ] Sample.hs               04-Sep-2006 19:30  6.3K  
[   ] Setup.lhs               06-Mar-2008 17:47   76   
[DIR] _darcs/                 26-May-2010 03:42    -   
[   ] connected.glade         21-Aug-2006 22:59  8.5K  
[   ] connected.hs            21-Aug-2006 22:59  637   
[   ] make.bat                19-Jul-2006 19:10   33   
[   ] proplang.cabal          06-Mar-2008 17:47  788   
[   ] push.bat                06-Mar-2008 17:48   82   
[   ] sample.glade            16-Aug-2006 15:51  6.6K
Apache/2.2.21 (Unix) mod_ssl/2.2.21 OpenSSL/0.9.8y DAV/2 mod_mono/2.10 mod_jk/1.2.32 mod_auth_kerb/5.4 Server at www.cs.york.ac.uk Port 80