Index of public/net/ceedubs

Name                         Last modified      Size

../
ficus_2.11/                   05-Nov-2024 15:32    -
irrec-kleene_2.11/            10-Nov-2024 00:09    -
irrec-parser_2.11/            14-Nov-2024 16:28    -
irrec-parser_sjs0.6_2.11/     17-Nov-2024 09:16    -
irrec-parser_sjs0.6_2.12/     14-Nov-2024 17:25    -
irrec-regex-gen_2.11/         06-Nov-2024 01:12    -
irrec-regex-gen_2.12/         06-Nov-2024 10:01    -
irrec-regex-gen_sjs0.6_2.11/  12-Nov-2024 05:36    -
irrec-regex_sjs0.6_2.11/      04-Nov-2024 17:19    -
irrec-regex_sjs0.6_2.12/      18-Nov-2024 17:30    -
irrec_2.12/                   06-Nov-2024 08:53    -
scrutinator_2.10/             18-Nov-2024 14:05    -