Index of /~nad/repos/dependently-typed-syntax/_darcs/patches

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]0000000247-1dea27a78..>22-Aug-2011 14:00 210  
[   ]0000000267-f5ad75a6b..>24-Aug-2011 11:53 238  
[   ]0000000270-3311900f2..>05-Sep-2011 12:02 235  
[   ]0000000275-d304766ff..>30-Aug-2011 15:02 223  
[   ]0000000278-f5416e4ed..>11-Mar-2016 15:45 223  
[   ]0000000299-a3b59b364..>23-Nov-2015 13:43 209  
[   ]0000000302-a6084e307..>30-Aug-2011 17:47 252  
[   ]0000000308-92e1ede0f..>30-Aug-2011 17:47 221  
[   ]0000000322-ae65a992a..>29-Aug-2011 15:19 260  
[   ]0000000354-506ef5faa..>24-Aug-2011 11:58 280  
[   ]0000000362-f92e7e531..>28-Aug-2011 00:54 284  
[   ]0000000419-6553c1ff9..>28-Aug-2011 00:54 273  
[   ]0000000507-254ba7dbb..>30-Aug-2011 15:02 338  
[   ]0000000520-39b40209c..>29-Aug-2011 15:19 332  
[   ]0000000558-5c11d712c..>06-Jun-2015 14:24 307  
[   ]0000000582-0364b2055..>24-Aug-2011 16:02 394  
[   ]0000000665-5ca990f3b..>22-Aug-2011 14:00 462  
[   ]0000000713-be7885914..>22-Aug-2011 14:00 336  
[   ]0000000929-3995bca70..>23-Aug-2011 18:44 441  
[   ]0000000949-d0ce0a507..>22-Aug-2011 14:00 461  
[   ]0000001051-17ce46cf8..>30-Aug-2011 15:02 543  
[   ]0000001117-08ff10ce4..>29-Aug-2011 15:19 413  
[   ]0000001266-f4e6c9295..>29-Aug-2011 15:19 443  
[   ]0000001285-bdb1b816e..>22-Aug-2011 14:00 547  
[   ]0000001301-5f3358715..>28-Aug-2011 00:54 365  
[   ]0000001589-8d720f577..>13-Feb-2015 16:50 440  
[   ]0000001626-020796d0c..>22-Aug-2011 14:00 694  
[   ]0000001631-d86356876..>22-Aug-2011 14:00 601  
[   ]0000001709-e7f001adb..>22-Aug-2011 14:00 646  
[   ]0000001813-46e54d1bd..>22-Aug-2011 14:00 476  
[   ]0000001840-0dcac4212..>13-Feb-2015 16:50 638  
[   ]0000001943-b1f7b44d9..>13-Feb-2015 16:50 633  
[   ]0000002242-7482b4ea0..>13-Feb-2015 16:50 384  
[   ]0000002473-831cfa062..>22-Aug-2011 14:00 745  
[   ]0000002565-65830bca0..>30-Aug-2011 15:02 1.0K 
[   ]0000002664-a003632ea..>22-Aug-2011 14:00 637  
[   ]0000002754-e96e199b6..>22-Aug-2011 14:00 770  
[   ]0000002770-b0b3940fc..>22-Aug-2011 14:00 620  
[   ]0000002817-768585315..>22-Aug-2011 14:00 771  
[   ]0000003019-7ae6c9d0d..>22-Aug-2011 14:00 830  
[   ]0000003399-629c38c09..>15-Sep-2011 14:51 866  
[   ]0000003737-1cfec9c6e..>29-Aug-2011 15:19 1.2K 
[   ]0000003976-ecc9b7cfb..>22-Aug-2011 14:00 1.0K 
[   ]0000004315-09ca150d6..>30-Aug-2011 15:02 1.4K 
[   ]0000004474-3784056e8..>15-Sep-2011 16:21 1.6K 
[   ]0000004617-186d0f3dc..>24-Aug-2011 11:58 1.5K 
[   ]0000004619-889b62069..>22-Aug-2011 14:00 876  
[   ]0000004711-c4443d868..>15-Sep-2011 14:51 1.7K 
[   ]0000004754-6949b4c41..>22-Aug-2011 14:00 1.6K 
[   ]0000004811-567e17374..>30-Aug-2011 17:47 771  
[   ]0000004883-32ab2111a..>15-Sep-2011 14:51 1.5K 
[   ]0000004966-2e6ef8ded..>22-Aug-2011 14:00 1.5K 
[   ]0000005064-f2adf7769..>24-Aug-2011 11:53 1.1K 
[   ]0000005098-c40a08871..>28-Aug-2011 00:54 1.3K 
[   ]0000005744-0303b4976..>22-Aug-2011 14:00 1.5K 
[   ]0000006138-77c7aba6a..>22-Aug-2011 14:00 1.7K 
[   ]0000006269-e4512eb32..>28-Aug-2011 00:54 1.2K 
[   ]0000007441-f5a97fbf0..>22-Aug-2011 14:00 1.5K 
[   ]0000007927-b83935373..>22-Aug-2011 14:00 1.3K 
[   ]0000008701-4177d5130..>22-Aug-2011 14:00 1.7K 
[   ]0000010342-8fe33f187..>22-Aug-2011 14:00 2.0K 
[   ]0000010477-08bc62766..>22-Aug-2011 14:00 2.3K 
[   ]0000010488-fe7a4af1c..>22-Aug-2011 14:00 2.3K 
[   ]0000010813-9b50722d1..>22-Aug-2011 14:00 2.4K 
[   ]0000010854-aa7d5aad1..>22-Aug-2011 14:00 2.7K 
[   ]0000011365-11d92df7e..>22-Aug-2011 14:00 3.6K 
[   ]0000013814-4ad099fd0..>22-Aug-2011 14:00 3.0K 
[   ]0000014518-56d5fddde..>30-Aug-2011 15:02 3.7K 
[   ]0000015255-9f24b6fab..>22-Aug-2011 14:00 3.1K 
[   ]0000015645-f2a0cb529..>22-Aug-2011 14:00 3.2K 
[   ]0000016016-799851339..>22-Aug-2011 14:00 2.3K 
[   ]0000016247-1fd02be15..>22-Aug-2011 14:00 3.3K 
[   ]0000017093-ad157bbae..>22-Aug-2011 14:00 3.4K 
[   ]0000018194-19ca60d87..>22-Aug-2011 14:00 3.3K 
[   ]0000018523-f18342ffe..>22-Aug-2011 14:00 3.3K 
[   ]0000019946-047158bde..>22-Aug-2011 14:00 4.1K 
[   ]0000020312-d520ec1e7..>22-Aug-2011 14:00 2.8K 
[   ]0000030729-73179bec4..>22-Aug-2011 14:00 6.2K 
[   ]0000031711-2b7f1be97..>22-Aug-2011 14:00 5.6K 
[   ]0000041794-8528caa6b..>22-Aug-2011 14:00 5.9K 
[   ]0000042299-5cd253ab3..>22-Aug-2011 14:00 7.3K 
[   ]0000050588-abcabab09..>22-Aug-2011 14:00 9.4K 
[   ]0000060482-6286ebac7..>22-Aug-2011 14:00 10K 
[   ]0000067715-c54fbc38c..>22-Aug-2011 14:00 9.5K 
[   ]0000190190-56948123c..>22-Aug-2011 14:00 24K 
[   ]0000279683-b473a9850..>22-Aug-2011 14:00 41K 
[   ]pending 11-Mar-2016 15:45 4  
[   ]pending.tentative 11-Mar-2016 15:45 4