Index of /paper/witness/witness-aplas/_darcs/patches

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]0000000142-c81f97dbd969e92c4dd2d2bb85e535561664c8a4985957adf04953708d46c5712009-09-13 17:56 151  
[ ]0000000157-8976b25ffb322fb009ea3dd0850c92e7137af62c4323bc53d9e992025c1f6dd02009-09-11 15:33 151  
[ ]0000000211-828cff116623275ee8ad1e0e59a7d0d2557aa29e954e0abfe2430a0789af5a332009-06-03 07:53 175  
[ ]0000000211-13840daaa193b72e3b76e3e2284b697395a5000fc6bcb6ad56c18e32f0225e962009-08-28 05:53 177  
[ ]0000000215-783a4aa2d4105b27afab52fec5d58b5db498d5bc27119eec522120bc766472a62009-08-28 02:32 186  
[ ]0000000220-180ec46a2c4c0cdf58d71115ea55dfe41a5700875df3798526f67ae24a0d81c72009-09-13 17:56 170  
[ ]0000000241-c15ca4d64106ac9dc248cca5a2d8fd04ee769e9ea3004cdfca17486ba3db75ce2009-06-12 01:13 197  
[ ]0000000261-36db07a1526d579b21eb527bb22e1126af3b8772172e2882d6d0956dc932e27d2009-10-12 05:51 203  
[ ]0000000310-a46db07d7f170997b81aa74675545cb7007c4b34339ef7613c58270390ab0f922009-06-14 14:34 201  
[ ]0000000321-222c316c32d614d0d7dfce3b3ca2c347b915c07717684bf40bc0bb9db36f47002009-08-28 02:35 216  
[ ]0000000415-2211d512aee71983602e55a1643cc1336fe117a90684853585fa4e8fc29fe7842009-09-13 17:56 299  
[ ]0000000520-26c074645aaad1c75466db5c6fc952639deb5b8402e3f995411a3e88fb6569e52009-06-01 08:32 365  
[ ]0000000558-f8cd5bbb926003ff905294862bc5d4d2f93db408ab25cb7da5f8b4d5a2f53fe02009-09-11 14:50 335  
[ ]0000000615-a70174c3c1d4c3c5d11c6a20ed42f2b9541105f469c923e6e0022bb3ff21dee12010-03-12 06:02 370  
[ ]0000000644-318131e213dd7804fef4a3ea588fea88aa8f6ae6f78613c29576bb0dbc3c89122009-08-28 07:35 292  
[ ]0000000676-f8a9e2f62c57e1e0151d7fac2afd94e4edfd60d12d6ec07b43e5add3cbf74d142009-06-14 14:34 293  
[ ]0000000799-1537bab47c28b9a7ba920ae551dda8fe7e742493296fa894b2eea253518528ab2009-09-11 13:58 382  
[ ]0000000923-b9dfa14f25222296186078d40ccea4a6bcccb3ce609a76c7a0a975317b9bd07a2009-09-08 17:37 409  
[ ]0000000954-d048efae2ced315b55bea45e9727c390f9d2fb07583a88d1c2461660e12eac3e2009-06-14 14:38 482  
[ ]0000001227-493b149438a7fdd19de67df406ec73848d314db7fe523c10613e09fff9ca1b472009-06-14 16:44 364  
[ ]0000001373-91cd3bbbf571d7a320588fcc72191876477f0817e5c6253615f0f8c95512d87f2009-09-08 18:50 521  
[ ]0000001434-ee90bfccbd44ee941f30023519bc9061d7e03a516ea28f8b4edec4913076abd32009-08-28 02:32 555  
[ ]0000001437-d4a0ee3790a9f3e3ac46c5840f2992b4d3ad386e4a740f0d457f827ce10eb8142009-08-28 05:59 519  
[ ]0000001520-de04a269e639e01727a0bee9e30369f9b79ef545f9094250b5f73f49771e3e382009-10-12 05:51 556  
[ ]0000001542-0fda74ce283cb4cebcb47c3348b929d9b65d1e2d20b14a30c255a181857b5f262009-06-14 17:00 527  
[ ]0000001824-22cc6288a38407de499e88ea10db5b4863dfdeb6b8d05827f6689b7578aa05fe2009-09-09 19:07 671  
[ ]0000002176-3adfa13167f3784a28590edc044e797d81af3dc59c398e6a2e1e565eda96e60e2009-09-13 17:56 840  
[ ]0000002344-39903483cc8e0c5d83dedfb2e0f59f24253b495d18db23ccb6aa29c65ff47c712009-06-14 14:34 830  
[ ]0000003141-e3d38d8313dfbf0fc0c57d436023480fa6d3bd706351a173729bbe926c44af142009-06-14 14:34 1.0K 
[ ]0000003313-9bc78e88cf56c0ef4881f5e2cbe428999731bb0343ef9dde24c73d4e6e3b9a142009-09-13 17:56 923  
[ ]0000003415-8e2a48ab426cac39ab06e9496e1b99051d30c34b628aed12bc5981b3ec68d8b12009-06-14 15:30 1.1K 
[ ]0000003416-144c487665bedcb95ee36e5a46f599205341958a589a4af7c1167819d21c92842009-09-11 13:51 1.1K 
[ ]0000003422-834f284b8258fa57b174688ecb52c32be4b6b40e4847a619b99019bd125d029e2009-05-18 09:26 1.0K 
[ ]0000003446-d5b8aaa7e45cdd9714776c2e2894fa36ff00bf287c54b5196359660d3df7fae02009-06-14 14:34 946  
[ ]0000003543-a831736ccf3dbc57be2ce38ad0547497dbf784005234524f660683522fc9815c2009-09-11 14:17 1.1K 
[ ]0000003729-58d04e7e0e8dce6eb4e9dcae493f089bb5afa68b8ad64c9b0a40df44fcb340ef2009-06-12 01:12 1.0K 
[ ]0000003895-bf28ca77275351aaca7c8b9ca605831c6cca189cd5e1fe71dd58e172076ff4712009-09-08 21:27 1.3K 
[ ]0000004011-41bf72257155246d9605353f21fcc2876b07b8629de34c14af9da66dd4c694682009-08-28 06:30 1.2K 
[ ]0000004214-6b686ef3f23a57d2e4237d011e1791d2217b6be16c85c14c8177889d092711ed2009-09-11 15:32 1.1K 
[ ]0000004288-a49a05d7776bcef437693ce9149a4c103ce0303c097fb2879c35cd096d0c22542009-09-09 16:49 1.3K 
[ ]0000004290-1ed7c99a67e43ae8df5f0577a628f53787dab65d51ce4716241dc91f32b74aed2009-09-13 06:00 1.2K 
[ ]0000005011-a03b0acff84be3f91ddcb5c0e4270db03a96005555cbd497ecf02ca27f0527f82009-08-28 07:30 1.6K 
[ ]0000005168-610e17c3ae24e528531f5e25d97756b1241122d8bb5a7e429053bca372725a4c2009-06-14 14:34 2.1K 
[ ]0000005726-07356bc046797a7ed07dd409278eb92badd96baaa8f582e6710d0e262c742d772009-09-13 17:56 1.6K 
[ ]0000005833-b8abdc2c609a9aae302e644ebbe2193dfb22a29d32c02bd2215c880d8ff451b92009-09-09 18:44 1.8K 
[ ]0000006032-4558ed85e34b96e1e047178c43d183634c931a781b43bb7d9f3841ac3b2a858f2009-06-15 02:11 1.6K 
[ ]0000006109-2e024fc99fc3225eb24af278106c2b5cbd735274c92ee3ff499deadd0cbff6212009-06-11 11:13 1.9K 
[ ]0000006251-8dd1dedf8266728271e7e655920cad4bca79227c72177be811ac1a792360828c2009-09-08 12:34 1.6K 
[ ]0000006485-df013b82187ee6b553ebb0b67608084c04d095d0d6968b8a2bd02a31bedd5a102009-06-14 14:34 1.7K 
[ ]0000006928-03314e4b4766b0bba6917befe7e603dea412510216c735b3fcdafff5d00292162009-09-06 18:19 2.1K 
[ ]0000007377-4c05c2afe9c59ed577ed67f96c1063a14028e5ab0a755500127c796790fc933e2009-09-08 18:43 2.0K 
[ ]0000007479-43fa76a72c693c1a9736dcaf38a239c61ef7363cc2c3b84d517c9b32f48f23fe2009-09-09 21:26 2.4K 
[ ]0000007567-df999ab26b89e18dc89d1a567b4e829313b18856628e1f4cc33e3be35e7c46562009-09-11 14:45 1.9K 
[ ]0000007695-b9309b6ab36a81602af8856f09c1c217872818e9459753ca33ee6704a9d858f02009-06-14 14:37 2.0K 
[ ]0000008162-8905ed9b800bac1862c2d58c8046a1e69378cc072198fce15cc7ffca5597863f2009-06-14 16:34 2.2K 
[ ]0000008749-fdec1bcb80026d7544d59415b6e7dd5e8fb8f43065d618428033c9c81377cf652009-06-11 11:13 2.6K 
[ ]0000009686-e9a63f1045cf40968787977d030fd66aa05d5ef3cc83ce15ed741816c10e92f42009-06-04 09:19 2.4K 
[ ]0000009822-b3f2dc98d5c8d30ead9935cc1ee8209e48188dcaed654ee2537472d26daad2252009-09-13 17:56 2.4K 
[ ]0000010719-8aa22454eb1f97374242b9b88c44f4f584d63ad5ce775146d6574c382a45ef9a2009-10-12 05:51 3.7K 
[ ]0000010723-23b38dd807dcceb8688e7aa1b3971a915ba25fb385a05fa76344b73f87cb12f22009-06-03 07:05 2.7K 
[ ]0000010869-76c896ad3b77b22f4d3b0caa53c47804fc4566bde9a63d00f82978ae2df8e4722009-09-13 06:32 2.7K 
[ ]0000011985-e0271558f4e15b677152a5ad8370acf52ffaca6b000fec0dc8da26d761d0a8dc2009-06-01 08:32 3.6K 
[ ]0000012397-d92bddb81aa04b177c7ce6959192402192ee5954ff71be64c15aaa5627b8599a2009-06-11 11:13 3.4K 
[ ]0000012427-b996a10a33c8188ac3322a2b6a33a4d418f2b9100e73a3953313a9fa7304afbe2009-09-11 15:23 3.0K 
[ ]0000013054-edeeb07bc41546a0750c67d1a491ce5f581fa484b8315f485297c6405efb51762009-09-08 20:44 3.2K 
[ ]0000013059-6a9d772274acc3143d7a613f7cf89ebcb72fdecbf08c252db45c20ebd68b186f2009-06-11 11:13 4.0K 
[ ]0000014142-de9d510a00b7fdf3e6c5cae53054682b61d7ef3c812d3e60a2666ac36a6a2bdd2009-09-13 17:56 3.2K 
[ ]0000014186-da90f43206074a5113d6bc28e502293180344558f239984ca75caf709e0df6a02009-06-03 07:08 3.3K 
[ ]0000014860-57beb1e645c3a56487fe8040ef05713822bbf4d7ac025a35f292370e5d173af22009-09-13 17:56 3.2K 
[ ]0000015170-1cd0b42392cc8af4e84d91e984698bba1915b2ccb0d52837a3df89ef4536150b2009-09-06 17:13 3.3K 
[ ]0000015499-f5a6f7d7a2334facfc6bfc68f585bbae1db8cd4310ebf6fd6a0c02ecbae57a382009-06-11 11:13 3.6K 
[ ]0000016632-86c61b32a213ed8b9bd5546c84e2f0389ecad34ce0f993dcb8d29929de930d5a2009-06-11 11:13 4.3K 
[ ]0000016657-4b551f5efc1e4e2e80b69ed0d25ec5a309af4815370102ab1fcb50d7bdc905112009-09-08 12:36 3.5K 
[ ]0000017007-c84f1d40b6e47c9db4d7e6710ed5670ab3357eec28400a41691842a54361c0422009-09-13 17:56 4.0K 
[ ]0000017259-65d76529b60004edf2873edeaa6d0023a0ec2f71d9f02826918ab40ed845bd422009-09-13 17:56 4.0K 
[ ]0000017832-bc4c8a3e385c139f6fa86e910f18288495df2fba2711c20a0a23bdcb204946592009-09-08 12:20 4.7K 
[ ]0000019956-bb0d803b0c4e37fbc79324f77c8e8f03e89e1c7d625815fbf5fd5fd37d5b0ada2009-09-08 17:26 4.2K 
[ ]0000020569-cdc1631262a9df4056edd0d0d79c94544d5fb656e65c77804c9991575b8cd4c52009-06-11 11:13 5.2K 
[ ]0000020596-93f194bccb6f5e805831079fac081b545ed06c58c98c62d0f47e4e34eb38a9182009-06-04 08:30 5.5K 
[ ]0000023892-2b280e9e0b2d1cb6bab28aab7cce54dd24734cce5f842b63fc97126237b279352009-06-02 12:08 7.6K 
[ ]0000024182-9e17ae8d6656d9b53c0560150b47161acca13eac55c0f88c5f53c34d690b34b92009-06-11 11:13 4.5K 
[ ]0000025879-18ba94aeac2a9f48a9ca18af6fa6e2a18a4321d26f804ee51a89527815f9cd692009-09-13 17:56 5.5K 
[ ]0000025880-7b5bd3c4ad8e9595dd075a72a4b7d96d2fe1db0fb76cc500b93614aa8f8543992009-06-14 14:34 6.9K 
[ ]0000027681-af7e942ec59b7144dc6d526ac7195c147a4fcbc810bbc3b29805e14a132fb9172009-06-14 14:34 6.5K 
[ ]0000029794-2841a2e2db63797aebbbe135da84e13e8eef67558b55148b258640344911761b2009-06-14 14:34 6.9K 
[ ]0000033522-b0404ff9f2e39c208c914076236e8d8b5e0bfe28e3314cb1be8c87fbfc098d552009-06-14 14:34 7.6K 
[ ]0000033848-9103698372c05ae4f0f5631f8163a7d89c6887bf886012961d0c94224935c86e2009-06-14 14:34 7.4K 
[ ]0000043741-1a367d57c044d814fb573f13702622d3ca5839ff01dadcd7015fb67b84bbedee2009-06-11 11:15 10K 
[ ]0000049808-931000eed73237911ede472fd625395e984394c37b67d0ed806f170dd39fa25b2009-08-28 05:40 10K 
[ ]0000068420-748f9ce6e1a063ca9b177c0879f870f0f6cba0a4f59947df9e34fa358380522c2009-06-03 07:52 16K 
[ ]0000436671-d3ef4f3d255a779b24126e9936e04d607a1e81ef4b9446275941d380ef6f34172009-10-12 05:50 205K 
[ ]0000738858-546546b37b173f060970514c8dd457a400bdd99eff7012978dead6221cdd1bbe2009-05-18 09:06 267K 
[ ]pending2010-03-12 06:02 4  
[ ]pending.tentative2010-03-12 06:02 4  
Apache/2.4.38 (Debian) Server at code.ouroborus.net Port 80