Index of /code.haskell.org/SLPJ-collaborative-papers/vect-for-real/_darcs/patches/
../
20070912112032-6295e-4f914c640e6d8efd210f4c329a..> 15-Feb-2019 09:08 353277
20070917081427-6295e-a9e52261a613d5db3d5296d846..> 15-Feb-2019 09:08 6433
20070920152937-6295e-5c911d92a61a8826c44af7bfd5..> 15-Feb-2019 09:08 685
20071020123200-6295e-b693535327574a8070334763ef..> 15-Feb-2019 09:08 3031
20071021045611-6295e-364f56b70dda9bb4a30580d16a..> 15-Feb-2019 09:08 2787
20071021140420-6295e-d1910f14b4354f632569467b67..> 15-Feb-2019 09:08 868
20071022042951-6295e-d9686a8f39ce868d34b802d133..> 15-Feb-2019 09:08 1840
20071022121053-6295e-ab6508b016f9dd253e00893d84..> 15-Feb-2019 09:08 3965
20071023060210-6295e-115e32f001fb2fbad550b02116..> 15-Feb-2019 09:08 635
20071024051024-b2b0a-020acebed9000ff4daea0d7d06..> 15-Feb-2019 09:08 881
20071025014435-6295e-9f82cabe7ce954f4e1bba080ff..> 15-Feb-2019 09:08 2421
20071025033316-b2b0a-9d0028f3174c108b6ce547eff1..> 15-Feb-2019 09:08 958
20071025044120-b2b0a-9307f83838923273d7dc6e9169..> 15-Feb-2019 09:08 1397
20071025050824-6295e-129405178875ccec65fc916192..> 15-Feb-2019 09:08 1141
20071025053625-b2b0a-7e641b688749850068c3f8a8c9..> 15-Feb-2019 09:08 546
20071025072008-6295e-9f532a04e509f4ab11c083e842..> 15-Feb-2019 09:08 2797
20071025121038-6295e-d25ca216c4d70566108a6b387a..> 15-Feb-2019 09:08 2376
20071025124148-2f622-8edb2db7a8ab09b54c382af3eb..> 15-Feb-2019 09:08 1150
20071025224723-b2b0a-65c8585bab1e9d76c0eec07d86..> 15-Feb-2019 09:08 2103
20071026032557-6295e-39fe45403dcc4777bcc843c575..> 15-Feb-2019 09:08 481
20071026033318-6295e-2eb8ca12852fda42209c428405..> 15-Feb-2019 09:08 182
20071026045850-b2b0a-6b5b5c7def0d8975525a697aab..> 15-Feb-2019 09:08 1018
20071026050140-b2b0a-ca9dd162dd13c1c234edfd6055..> 15-Feb-2019 09:08 363
20071026050312-b2b0a-20416fcd5b08656a5e2793e071..> 15-Feb-2019 09:08 287
20071026061240-6295e-cbb985b2f9f571c28c3b1e7268..> 15-Feb-2019 09:08 1893
20071026062942-6295e-462a397a979673811d54cc96fd..> 15-Feb-2019 09:08 153
20071026072258-6295e-f7c5dcff7dc8e4e698fcd73ed5..> 15-Feb-2019 09:08 1080
20071026104056-6295e-350507123ab0a641367c819e50..> 15-Feb-2019 09:08 2178
20071026121632-6295e-58027f12e1cbfcd58e786353f2..> 15-Feb-2019 09:08 1071
20071027040133-6295e-3d1156f897a741f685507b85c0..> 15-Feb-2019 09:08 892
20071027115352-6295e-0aef51e6c0f6138c9851d2ff2e..> 15-Feb-2019 09:08 2885
20071027125038-6295e-764be7bb2a7255a482091879cf..> 15-Feb-2019 09:08 2544
20071028001723-b2b0a-131e814578c9ee1f915d0f6908..> 15-Feb-2019 09:08 3036
20071028011436-b2b0a-616189d30e38ffdec1c5d07847..> 15-Feb-2019 09:08 410
20071028013712-b2b0a-336efe2024e81253fba151e1c6..> 15-Feb-2019 09:08 505
20071028020019-6295e-8376d61af0ed286d73e9dbb9db..> 15-Feb-2019 09:08 709
20071028020710-b2b0a-744890896dabf5a6464b970bf6..> 15-Feb-2019 09:08 530
20071028020743-b2b0a-46d44ae318ac1600fd72a9ba4e..> 15-Feb-2019 09:08 355
20071028033119-b2b0a-b145d875a6b3d755b3901e1853..> 15-Feb-2019 09:08 377
20071028034341-b2b0a-c8ff4286c997767398f6b298e8..> 15-Feb-2019 09:08 291
20071028035837-b2b0a-dc6c701842400fcd7322b1fadc..> 15-Feb-2019 09:08 580
20071028045152-6295e-5a159c6ad98c0decec144024dc..> 15-Feb-2019 09:08 2042
20071028051624-b2b0a-e66da51d348867781580ef5339..> 15-Feb-2019 09:08 350
20071028051636-b2b0a-d2e41b008b8d1c6b7ea8fc0637..> 15-Feb-2019 09:08 486
20071028061823-b2b0a-6432ae5b0b109b9c7006b36096..> 15-Feb-2019 09:08 2387
20071028063023-b2b0a-40afa17d410f09bb05b29ad6b2..> 15-Feb-2019 09:08 1812
20071028063251-b2b0a-594e341cf3360d0c4093959e42..> 15-Feb-2019 09:08 158
20071028063947-b2b0a-d38e358f12f0ca12efe30558cf..> 15-Feb-2019 09:08 1134
20071028084734-b2b0a-10570b0b5f62dc0194727d2c3a..> 15-Feb-2019 09:08 1088
20071028091704-b2b0a-bfd6ac8bc88a90130428168f5b..> 15-Feb-2019 09:08 1346
20071028095408-6295e-88d92c95e52396a41aaa6a9c3f..> 15-Feb-2019 09:08 952
20071028095429-b2b0a-0727d46e201ade00e240940ff8..> 15-Feb-2019 09:08 987
20071028102547-b2b0a-a1c2157639417a5cbdbf59fd80..> 15-Feb-2019 09:08 2138
20071028102617-b2b0a-17ef7c54ed49c4283004b942dd..> 15-Feb-2019 09:08 252
20071028111428-b2b0a-ab9c8e225a025b3ec5dd7ed6bc..> 15-Feb-2019 09:08 253
20071028111442-b2b0a-e510583e5441d8d938be60e3a6..> 15-Feb-2019 09:08 181
20071028111451-b2b0a-a9847e77f0482357b695a0a688..> 15-Feb-2019 09:08 1174
20071028111829-6295e-9c9f9bc95bb2397a3bae73c84b..> 15-Feb-2019 09:08 1001
20071028112037-6295e-3b8ccb7b88f3f81c5b25ac92eb..> 15-Feb-2019 09:08 231
20071029023154-6295e-10c1c1e9c85dfc1a28dbaa81d4..> 15-Feb-2019 09:08 441
20071029033312-6295e-89265d1f97f02c031c858e623d..> 15-Feb-2019 09:08 739
20071029061509-6295e-6832a35920d47a5b85c084fcc7..> 15-Feb-2019 09:08 1014
20071029094148-2f622-3476f5a8556e7656838f3d1686..> 15-Feb-2019 09:08 394
20071029100854-6295e-d8b830a86c777dfe07a13f6418..> 15-Feb-2019 09:08 1770
20071029114225-6295e-245e4026ffb3221d581a891e8b..> 15-Feb-2019 09:08 1135
20071029123656-2f622-9d1de83cd27ed2d5455e8c16d9..> 15-Feb-2019 09:08 1427
20071030024339-b2b0a-635c33df184712463f90ea7d31..> 15-Feb-2019 09:08 441
20071030024353-b2b0a-33ed450ff7a6b9fa71d478ab76..> 15-Feb-2019 09:08 159
20071030024404-b2b0a-3998b692dd32acfcac34a9cd65..> 15-Feb-2019 09:08 1359
20071030024737-b2b0a-093552f8fa1414336d0adc9ad4..> 15-Feb-2019 09:08 354
20071030030801-6295e-f2cf5fbb9b51fff24a6777762c..> 15-Feb-2019 09:08 924
20071030034852-b2b0a-24cfee2ae4d1328d20b11a9fc2..> 15-Feb-2019 09:08 772
20071030035431-b2b0a-a5ec8908c6dc861ba795a571c9..> 15-Feb-2019 09:08 749
20071030035523-b2b0a-e3afb2b3bb8b615c22dd40a1cc..> 15-Feb-2019 09:08 177
20071030040024-b2b0a-1503dad6bd0b90b1b81ca1587d..> 15-Feb-2019 09:08 186
20071030041154-b2b0a-a7b219f105a935767861a1a50b..> 15-Feb-2019 09:08 662
20071030041321-b2b0a-44dae9b4f70751c7e5fde48dca..> 15-Feb-2019 09:08 177
20071030041333-b2b0a-ccd2bc399fccf53aa6be6de261..> 15-Feb-2019 09:08 159
20071030041442-b2b0a-1a55698404140322963070bc79..> 15-Feb-2019 09:08 332
20071030044848-b2b0a-ce0d4c3be48ed1df61ce014d72..> 15-Feb-2019 09:08 297
20071030045239-b2b0a-993a1db034bf15a5159a4c0581..> 15-Feb-2019 09:08 349
20071030045701-6295e-37849ce73f47362a34fe823cd9..> 15-Feb-2019 09:08 3448
20071030050943-6295e-f729309b720023f4c9ec2339e5..> 15-Feb-2019 09:08 385
20071030053248-b2b0a-0858896fe561e4f2740fe9a868..> 15-Feb-2019 09:08 416
20071030055420-6295e-5411b064ea66e59efa33c36f0b..> 15-Feb-2019 09:08 1249
20071030060259-b2b0a-9e3618c4062ee1ca0d767c9c96..> 15-Feb-2019 09:08 1468
20071030060724-b2b0a-90802e2fdcff38276e5d00c244..> 15-Feb-2019 09:08 306
20071030060901-b2b0a-c239842a72de5ca4361d04d597..> 15-Feb-2019 09:08 188
20071030061547-b2b0a-94844f10945f48f9f013c1c7f6..> 15-Feb-2019 09:08 147
20071030061608-6295e-83d0b67ba0252ae294fad6fc28..> 15-Feb-2019 09:08 1256
20071030062845-6295e-41da6e59b2355e79e605631f67..> 15-Feb-2019 09:08 560
20071030063355-b2b0a-c2dfa79140df0862d0b70d3491..> 15-Feb-2019 09:08 1350
20071030071747-6295e-9e2207c78655ca54b71a1e1a79..> 15-Feb-2019 09:08 1992
20071030134325-1287e-ba90895120e4bc00b01d590dc0..> 15-Feb-2019 09:08 4958
20071030163613-1287e-a00b3418e42a3d86b0132d8e33..> 15-Feb-2019 09:08 333
20071031034417-b2b0a-e938b583d58b3194b2d5a2b373..> 15-Feb-2019 09:08 566
20071031034441-b2b0a-f790633bf1b639751161da6ddd..> 15-Feb-2019 09:08 176
20071031035320-b2b0a-c0c511a4ef0ee6d5a4a4dcef3a..> 15-Feb-2019 09:08 399
20071031055421-b2b0a-0643e9bf3b24d872a91d04e26a..> 15-Feb-2019 09:08 193
20071031100401-b2b0a-4c464fd7004c1e674349265779..> 15-Feb-2019 09:08 150
20071031124015-1287e-910aa4933d23ebabfba850de59..> 15-Feb-2019 09:08 613
20071031132700-1287e-ee5e008bc84771b3ddbf263480..> 15-Feb-2019 09:08 1900
20071031162305-1287e-baa6ce2f6c2dd234d64d3ac8b6..> 15-Feb-2019 09:08 11043
20071031173213-1287e-f411e3a5d6f1c4618ecb8919be..> 15-Feb-2019 09:08 2131
20071101003658-b2b0a-1c8cc93479f64bc85a05257bfd..> 15-Feb-2019 09:08 370
20071101005228-b2b0a-f6e82f4075f59815d14fe34998..> 15-Feb-2019 09:08 665
20071101005306-6295e-b92457f62a9eaa382eb8623ff5..> 15-Feb-2019 09:08 1844
20071101005849-b2b0a-c3e4deba18d21d52019c436a9a..> 15-Feb-2019 09:08 501
20071101010011-b2b0a-2bb7faeb4050ba940ca1b845ac..> 15-Feb-2019 09:08 208
20071101012717-b2b0a-91a7d2912f2069e4f6e0e6622c..> 15-Feb-2019 09:08 458
20071101013021-b2b0a-37ead862158dd8da5ae7c8adfe..> 15-Feb-2019 09:08 184
20071101013116-b2b0a-c75d7c10dee07ad610d2ee7aa1..> 15-Feb-2019 09:08 233
20071101014950-6295e-c8e4ee0429d3e651977d8d048d..> 15-Feb-2019 09:08 1018
20071101015307-b2b0a-c65feead55cdb8ca8c1a7995bf..> 15-Feb-2019 09:08 1298
20071101040532-b2b0a-d75d3586a15c9d4e23472e0b2b..> 15-Feb-2019 09:08 172
20071101040640-b2b0a-22569caaec90042f930b0cae96..> 15-Feb-2019 09:08 379
20071101041755-6295e-af544c6509f31348acd53cb89e..> 15-Feb-2019 09:08 781
20071101043410-b2b0a-cb997c9ecd937750d6a8a45a1f..> 15-Feb-2019 09:08 651
20071101043904-b2b0a-5f41686dad4d19c1da3eb8e4c0..> 15-Feb-2019 09:08 356
20071101044540-b2b0a-83f7f41462513d9b132909743b..> 15-Feb-2019 09:08 151
20071101045009-b2b0a-2d83328381ece5f5fa5f3d1c91..> 15-Feb-2019 09:08 428
20071101045620-6295e-cbc047ba3b84cd1905abd1fad4..> 15-Feb-2019 09:08 2059
20071101045718-b2b0a-b409a670df1ed08eef10d7830f..> 15-Feb-2019 09:08 601
20071101052453-6295e-f9b08cc8e2d598249596e33793..> 15-Feb-2019 09:08 1414
20071101055844-6295e-fe25a0b302211cce9dfcb764cf..> 15-Feb-2019 09:08 2396
20071101060625-6295e-dc5385679e3b09e6b35981d4c3..> 15-Feb-2019 09:08 768
20071101063341-b2b0a-30f5a35c213302d2f9b9bba522..> 15-Feb-2019 09:08 275
20071101063457-b2b0a-88b6c5b00f7d3c7f1f3ccf11ad..> 15-Feb-2019 09:08 468
20071101064133-b2b0a-c8bcf165d21021329b04b596a0..> 15-Feb-2019 09:08 233
20071101075903-b2b0a-a595c681930a97cc56eb9dc7f3..> 15-Feb-2019 09:08 307
20071101083342-6295e-e23b7e9ebf8e3194eed55d810d..> 15-Feb-2019 09:08 150
20071101083410-6295e-57b183230186b4022f26b35ce2..> 15-Feb-2019 09:08 2381
20071101091234-1287e-3c832d590dfa026bdb99de9bae..> 15-Feb-2019 09:08 765
20071205034655-6295e-b73c59689349ec498df923f812..> 15-Feb-2019 09:08 3777
20071213073537-6295e-a2cac4f3532839b517cf1bb840..> 15-Feb-2019 09:08 2382
20071213165053-1287e-06e62ada241fd239fed472b0c1..> 15-Feb-2019 09:08 1180
20071215044436-6295e-dfa1e1aa9a13af9fcb344e1131..> 15-Feb-2019 09:08 855
20071215044458-6295e-731622390c665880ca96d1ee81..> 15-Feb-2019 09:08 275
pending 15-Feb-2019 09:08 4