Index of /darcs

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 08-flops/               17-Oct-2007 22:39    -   
 Agda/                   08-Oct-2008 10:54    -   
 Boxes/                  26-Oct-2006 14:12    -   
 CATS/                   15-Jan-2008 17:55    -   
 CloJo/                  09-Jun-2007 09:57    -   
 DTP08/                  25-Feb-2008 12:42    -   
 EpiCore/                22-Dec-2008 11:32    -   
 EpiDarcs/               16-May-2006 13:06    -   
 FRP/                    19-Nov-2009 11:52    -   
 HCAR/                   13-May-2008 16:17    -   
 HOCont/                 01-Feb-2010 21:47    -   
 Holes/                  23-Mar-2007 17:30    -   
 ICFPContest2007/        20-Jul-2007 18:28    -   
 ICont/                  27-May-2009 12:05    -   
 IR/                     21-Dec-2009 19:17    -   
 JOTT/                   26-Jan-2001 07:18    -   
 LCalculus/              07-Aug-2008 14:51    -   
 LambdaPi/               24-Jul-2009 09:48    -   
 MMT/                    02-Feb-2009 15:48    -   
 MorrisProposal/         14-Nov-2008 09:39    -   
 NestedContainers/       06-Oct-2009 15:46    -   
 OPE/                    03-Jul-2008 16:18    -   
 OTT-PLPV/               05-Oct-2007 10:56    -   
 Patches/                20-Nov-2006 16:28    -   
 Pig09/                  08-Feb-2010 10:32    -   
 RDTP/                   06-Jul-2009 14:56    -   
 SSDGP/                  28-Mar-2007 15:57    -   
 STMUnify/               26-May-2006 14:30    -   
 TMR/                    18-May-2009 08:57    -   
 TYPES/                  18-Apr-2006 16:19    -   
 VeriType/               19-Aug-2008 14:52    -   
 constr/                 09-Apr-2008 12:37    -   
 containers/             01-Nov-2006 14:35    -   
 darcs9647-new           21-Jul-2009 00:45    0   
 darcs17072-new          02-Oct-2008 16:13    0   
 darcs17075-new          02-Oct-2008 16:13    0   
 dtp-soft/               07-May-2008 17:12    -   
 dtp/                    08-Dec-2005 15:23    -   
 dtp10/                  08-Feb-2010 22:40    -   
 eee/                    15-Feb-2008 15:33    -   
 epi/                    05-Jun-2007 14:27    -   
 epigram/                19-Dec-2008 15:21    -   
 epigramd/               14-Dec-2006 13:37    -   
 g5bcfr_old/             04-Oct-2006 15:50    -   
 g53cfr/                 02-Dec-2008 13:37    -   
 g54cfr/                 02-Dec-2008 13:37    -   
 lyh/                    29-Jan-2008 16:19    -   
 msfp.org.uk/            07-Dec-2007 21:37    -   
 normal/                 05-Feb-2009 12:05    -   
 npo/                    24-Nov-2007 12:11    -   
 papers/                 14-Jul-2006 16:09    -   
 pgh/                    11-Aug-2008 10:47    -   
 plpv09/                 19-Dec-2008 17:54    -   
 presheaf/               09-Sep-2009 16:14    -   
 quotients/              01-Feb-2010 17:13    -   
 repository/             16-Oct-2007 18:22    -   
 rxr/                    05-Dec-2007 01:53    -   
 ssh/                    17-Oct-2007 18:58    -   
 term/                   12-Jul-2006 15:52    -   
 wss/                    03-Dec-2008 14:31    -