| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| comps_0.xml | 2020-09-24 03:39 | 608K | ||
| docbook.rng | 2020-09-24 03:01 | 262K | ||
| docbook_0.xml | 2020-09-24 02:21 | 166K | ||
| tutor11_1_3.xml | 2020-09-24 02:17 | 156K | ||
| spec_0.xml | 2020-09-24 01:46 | 115K | ||
| testsuite.xml | 2020-09-23 12:47 | 23K | ||
| res | 2020-09-23 09:40 | 15K | ||
| log | 2020-09-23 08:42 | 14K | ||
| tutorA.rng | 2020-09-23 00:15 | 7.9K | ||
| comps.rng | 2020-09-22 11:13 | 3.6K | ||
| proofsystem.rng | 2020-09-22 03:44 | 2.0K | ||
| spec.rng | 2020-09-21 23:58 | 1.4K | ||
| tutor14_1.rng | 2020-09-21 23:38 | 1.3K | ||
| tutor8_2.rng | 2020-09-21 23:01 | 1.1K | ||
| tutor9_8.rng | 2020-09-21 21:26 | 772 | ||
| tutor9_3.rng | 2020-09-21 21:26 | 771 | ||
| tutor8_2_2.xml | 2020-09-30 01:18 | 760 | ||
| tutor9_4.rng | 2020-09-21 21:15 | 730 | ||
| tutor9_9.rng | 2020-09-21 20:57 | 682 | ||
| tutor4_3.rng | 2020-09-21 20:24 | 594 | ||
| tutor4_2.rng | 2020-09-21 20:22 | 587 | ||
| tutor2_1.rng | 2020-09-21 20:22 | 587 | ||
| demo2.rng | 2020-09-21 20:21 | 583 | ||
| tutor4_4.rng | 2020-09-21 20:20 | 580 | ||
| tutor13_1.rng | 2020-09-21 20:19 | 577 | ||
| list.rng | 2020-09-21 20:19 | 574 | ||
| tutor3_4.rng | 2020-09-21 19:57 | 523 | ||
| interleave0_0.rng | 2020-09-21 19:46 | 495 | ||
| choice0.rng | 2020-09-21 19:45 | 492 | ||
| tutor9_5.rng | 2020-09-21 19:44 | 489 | ||
| tutor9_10.rng | 2020-09-21 19:40 | 478 | ||
| tutor9_7.rng | 2020-09-21 19:40 | 478 | ||
| tutor10_10.rng | 2020-09-21 19:22 | 440 | ||
| tutor9_6.rng | 2020-09-21 19:16 | 426 | ||
| spec1.rng | 2020-09-21 19:12 | 417 | ||
| tutor11_4.rng | 2020-09-21 19:12 | 416 | ||
| tutor10_9.rng | 2020-09-21 19:12 | 416 | ||
| tutor3_5.rng | 2020-09-21 19:11 | 412 | ||
| inline.rng | 2020-09-21 19:09 | 410 | ||
| tutor12_1.rng | 2020-09-21 19:07 | 406 | ||
| tutor10_6.rng | 2020-09-21 19:04 | 400 | ||
| tutor9_12.rng | 2020-09-21 19:04 | 400 | ||
| addressBook.rng | 2020-09-21 19:02 | 395 | ||
| tutor4_1.rng | 2020-09-21 19:01 | 393 | ||
| tutor3_3.rng | 2020-09-21 19:01 | 393 | ||
| inline2.rng | 2020-09-21 19:01 | 393 | ||
| tutor3_8.rng | 2020-09-21 19:00 | 389 | ||
| inline3.rng | 2020-09-21 19:00 | 389 | ||
| tutor9_1.rng | 2020-09-21 18:58 | 385 | ||
| rngbug-001.rng | 2020-09-21 18:53 | 373 | ||
| demo3.rng | 2020-09-21 18:53 | 373 | ||
| table.rng | 2020-09-21 18:50 | 364 | ||
| tutor1_3.rng | 2020-09-21 18:48 | 360 | ||
| tutor11_1_1.xml | 2020-09-30 00:13 | 351 | ||
| tutor11_1.rng | 2020-09-21 18:44 | 351 | ||
| empty1.rng | 2020-09-21 18:41 | 347 | ||
| 307377.rng | 2020-09-21 18:37 | 341 | ||
| tutor11_3.rng | 2020-09-21 18:31 | 332 | ||
| tutor1_4.rng | 2020-09-21 18:30 | 331 | ||
| tutor10_5.rng | 2020-09-21 18:20 | 316 | ||
| tutor3_5_1.xml | 2020-09-30 00:02 | 314 | ||
| tutor10_4.rng | 2020-09-21 18:10 | 303 | ||
| tutor6_2.rng | 2020-09-21 18:10 | 303 | ||
| tutor11_2.rng | 2020-09-21 18:10 | 302 | ||
| interleave1_0.rng | 2020-09-21 18:09 | 301 | ||
| tutor10_8.rng | 2020-09-21 18:05 | 296 | ||
| empty0.rng | 2020-09-21 18:05 | 295 | ||
| tutor6_3.rng | 2020-09-21 18:03 | 291 | ||
| tutor8_1.rng | 2020-09-21 18:02 | 289 | ||
| tutor3_1.rng | 2020-09-21 18:00 | 287 | ||
| tutor10_3.rng | 2020-09-21 17:54 | 279 | ||
| tutor9_11.rng | 2020-09-21 17:54 | 279 | ||
| tutor1_1.rng | 2020-09-21 17:54 | 279 | ||
| tutor1_2.rng | 2020-09-21 17:53 | 277 | ||
| rngbug-001.ext | 2020-09-21 17:53 | 277 | ||
| demo.rng | 2020-09-21 17:47 | 269 | ||
| compare0.rng | 2020-09-21 17:47 | 269 | ||
| tutor5_2.rng | 2020-09-21 17:47 | 268 | ||
| tutor6_1.rng | 2020-09-21 17:43 | 263 | ||
| tutor10_7.rng | 2020-09-21 17:35 | 256 | ||
| tutor7_3.rng | 2020-09-21 17:34 | 255 | ||
| tutor2_1_1.xml | 2020-09-29 23:41 | 231 | ||
| tutor7_2.rng | 2020-09-21 17:15 | 229 | ||
| tutor7_1.rng | 2020-09-21 17:07 | 218 | ||
| tutor1_4_1.xml | 2020-09-29 23:30 | 192 | ||
| tutor1_3_1.xml | 2020-09-29 23:30 | 192 | ||
| tutor1_2_1.xml | 2020-09-29 23:30 | 192 | ||
| tutor1_1_1.xml | 2020-09-29 23:30 | 192 | ||
| tutor3_6.rng | 2020-09-21 16:42 | 189 | ||
| tutor10_10_1.xml | 2020-09-29 23:27 | 179 | ||
| tutor10_9_1.xml | 2020-09-29 23:27 | 179 | ||
| tutor9_2.rng | 2020-09-21 16:36 | 179 | ||
| tutor8_3.rng | 2020-09-21 16:34 | 176 | ||
| tutor3_2.rng | 2020-09-21 16:34 | 176 | ||
| tutor11_2_1.xml | 2020-09-29 23:25 | 174 | ||
| tutor11_2_2.xml | 2020-09-29 23:25 | 172 | ||
| tutor4_2_1.xml | 2020-09-29 23:23 | 169 | ||
| tutor4_1_1.xml | 2020-09-29 23:23 | 169 | ||
| tutor5_1.rng | 2020-09-21 16:15 | 161 | ||
| tutor10_8_3.xml | 2020-09-29 23:19 | 159 | ||
| tutor10_7_3.xml | 2020-09-29 23:19 | 159 | ||
| pattern2.rng | 2020-09-21 16:04 | 154 | ||
| pattern1.rng | 2020-09-21 16:03 | 153 | ||
| tutor5_4.rng | 2020-09-21 16:02 | 152 | ||
| tutor5_5.rng | 2020-09-21 16:01 | 151 | ||
| tutor13_1_1.xml | 2020-09-29 23:15 | 149 | ||
| tutor5_3.rng | 2020-09-21 16:00 | 149 | ||
| tutor10_8_2.xml | 2020-09-29 23:13 | 143 | ||
| tutor10_7_2.xml | 2020-09-29 23:13 | 143 | ||
| tutor3_8_1.xml | 2020-09-29 23:13 | 143 | ||
| tutor11_1_2.xml | 2020-09-29 23:12 | 141 | ||
| tutor9_1_1.xml | 2020-09-29 23:12 | 141 | ||
| spec1_1.xml | 2020-09-29 23:11 | 137 | ||
| tutor11_2_3.xml | 2020-09-29 23:10 | 131 | ||
| tutor3_9.rng | 2020-09-21 15:45 | 131 | ||
| tutor10_1.rng | 2020-09-21 15:35 | 124 | ||
| tutor6_2_3.xml | 2020-09-29 23:06 | 119 | ||
| tutor6_2_4.xml | 2020-09-29 23:06 | 116 | ||
| tutor6_2_2.xml | 2020-09-29 23:05 | 115 | ||
| tutor6_2_1.xml | 2020-09-29 23:05 | 115 | ||
| tutor3_4_1.xml | 2020-09-29 23:05 | 113 | ||
| tutor10_8_1.xml | 2020-09-29 23:04 | 111 | ||
| tutor10_7_1.xml | 2020-09-29 23:04 | 111 | ||
| tutor3_3_1.xml | 2020-09-29 23:04 | 111 | ||
| tutor10_6_1.xml | 2020-09-29 23:04 | 110 | ||
| tutor10_5_1.xml | 2020-09-29 23:04 | 110 | ||
| tutor8_2_4.xml | 2020-09-29 23:01 | 101 | ||
| rngbug-001.xml | 2020-09-29 23:00 | 98 | ||
| tutor3_5_2.xml | 2020-09-29 22:59 | 95 | ||
| tutor10_2.rng | 2020-09-21 15:13 | 93 | ||
| tutor9_12_1.xml | 2020-09-29 22:59 | 93 | ||
| tutor9_11_1.xml | 2020-09-29 22:59 | 93 | ||
| tutor8_1_2.xml | 2020-09-29 22:58 | 91 | ||
| tutor8_1_1.xml | 2020-09-29 22:58 | 90 | ||
| tutor3_1_2.xml | 2020-09-29 22:55 | 80 | ||
| tutor3_1_1.xml | 2020-09-29 22:55 | 80 | ||
| tutor12_1_1.xml | 2020-09-29 22:54 | 79 | ||
| tutor10_4_1.xml | 2020-09-29 22:54 | 79 | ||
| tutor10_3_1.xml | 2020-09-29 22:54 | 79 | ||
| tutor8_2_1.xml | 2020-09-29 22:54 | 78 | ||
| tutor8_2_6.xml | 2020-09-29 22:53 | 77 | ||
| tutor9_6_3.xml | 2020-09-29 22:52 | 76 | ||
| tutor9_5_3.xml | 2020-09-29 22:52 | 76 | ||
| tutor6_3_1.xml | 2020-09-29 22:52 | 76 | ||
| tutor6_1_4.xml | 2020-09-29 22:52 | 76 | ||
| tutor6_1_5.xml | 2020-09-29 22:52 | 73 | ||
| tutor9_4_2.xml | 2020-09-29 22:51 | 72 | ||
| tutor9_3_2.xml | 2020-09-29 22:51 | 72 | ||
| tutor4_3_6.xml | 2020-09-29 22:50 | 70 | ||
| tutor9_10_1.xml | 2020-09-29 22:50 | 69 | ||
| tutor9_9_1.xml | 2020-09-29 22:50 | 69 | ||
| tutor9_8_1.xml | 2020-09-29 22:50 | 69 | ||
| tutor9_7_1.xml | 2020-09-29 22:50 | 69 | ||
| tutor3_2_1.xml | 2020-09-29 22:49 | 66 | ||
| tutor3_7.rng | 2020-09-21 14:50 | 65 | ||
| tutor9_6_1.xml | 2020-09-29 22:48 | 62 | ||
| tutor9_5_1.xml | 2020-09-29 22:48 | 62 | ||
| tutor3_6_1.xml | 2020-09-29 22:47 | 60 | ||
| tutor8_3_1.xml | 2020-09-29 22:47 | 59 | ||
| tutor4_4_1.xml | 2020-09-29 22:47 | 58 | ||
| tutor4_3_5.xml | 2020-09-29 22:47 | 58 | ||
| choice0_2.xml | 2020-09-29 22:46 | 57 | ||
| choice0_7.xml | 2020-09-29 22:46 | 56 | ||
| tutor6_1_3.xml | 2020-09-29 22:46 | 55 | ||
| choice0_8.xml | 2020-09-29 22:46 | 55 | ||
| choice0_6.xml | 2020-09-29 22:45 | 55 | ||
| choice0_5.xml | 2020-09-29 22:45 | 55 | ||
| tutor10_1_6.xml | 2020-09-29 22:45 | 54 | ||
| tutor10_1_3.xml | 2020-09-29 22:45 | 54 | ||
| tutor6_1_2.xml | 2020-09-29 22:45 | 54 | ||
| tutor6_1_1.xml | 2020-09-29 22:45 | 54 | ||
| choice0_3.xml | 2020-09-29 22:45 | 53 | ||
| tutor9_4_1.xml | 2020-09-29 22:44 | 51 | ||
| tutor9_3_1.xml | 2020-09-29 22:44 | 51 | ||
| compare0_0.xml | 2020-09-29 22:44 | 51 | ||
| tutor9_6_2.xml | 2020-09-29 22:44 | 50 | ||
| tutor9_5_2.xml | 2020-09-29 22:44 | 50 | ||
| tutor10_2_4.xml | 2020-09-29 22:41 | 42 | ||
| tutor10_1_5.xml | 2020-09-29 22:41 | 42 | ||
| tutor10_1_2.xml | 2020-09-29 22:41 | 42 | ||
| tutor11_4_1.xml | 2020-09-29 22:41 | 41 | ||
| tutor11_3_1.xml | 2020-09-29 22:41 | 41 | ||
| tutor4_3_4.xml | 2020-09-29 22:40 | 39 | ||
| tutor10_2_3.xml | 2020-09-29 22:40 | 38 | ||
| tutor10_1_1.xml | 2020-09-29 22:40 | 38 | ||
| tutor8_2_3.xml | 2020-09-29 22:40 | 38 | ||
| tutor9_2_2.xml | 2020-09-29 22:40 | 37 | ||
| tutor9_2_1.xml | 2020-09-29 22:40 | 37 | ||
| tutor8_2_5.xml | 2020-09-29 22:39 | 36 | ||
| tutor7_3_3.xml | 2020-09-29 22:39 | 35 | ||
| tutor5_2_1.xml | 2020-09-29 22:39 | 35 | ||
| choice0_0.xml | 2020-09-29 22:38 | 35 | ||
| choice0_4.xml | 2020-09-29 22:38 | 34 | ||
| choice0_1.xml | 2020-09-29 22:37 | 33 | ||
| tutor7_2_3.xml | 2020-09-29 22:37 | 32 | ||
| tutor5_3_1.xml | 2020-09-29 22:36 | 31 | ||
| tutor7_3_2.xml | 2020-09-29 22:35 | 29 | ||
| tutor7_2_2.xml | 2020-09-29 22:35 | 29 | ||
| tutor7_1_3.xml | 2020-09-29 22:35 | 29 | ||
| 307377_1.xml | 2020-09-29 22:35 | 29 | ||
| 307377_0.xml | 2020-09-29 22:35 | 29 | ||
| tutor7_1_4.xml | 2020-09-29 22:35 | 28 | ||
| tutor7_3_4.xml | 2020-09-29 22:33 | 25 | ||
| tutor7_1_1.xml | 2020-09-29 22:33 | 25 | ||
| 307377_2.xml | 2020-09-29 22:30 | 23 | ||
| tutor5_4_1.xml | 2020-09-29 22:29 | 22 | ||
| tutor7_3_1.xml | 2020-09-29 22:28 | 21 | ||
| tutor7_2_1.xml | 2020-09-29 22:28 | 21 | ||
| tutor7_1_2.xml | 2020-09-29 22:28 | 21 | ||
| tutor4_3_3.xml | 2020-09-29 22:28 | 21 | ||
| tutor3_9_1.xml | 2020-09-29 22:27 | 20 | ||
| empty1_0.xml | 2020-09-29 22:27 | 20 | ||
| empty0_0.xml | 2020-09-29 22:27 | 20 | ||
| demo.xml | 2020-09-29 22:27 | 20 | ||
| tutor5_1_1.xml | 2020-09-29 22:26 | 19 | ||
| list_1.xml | 2020-09-29 22:26 | 19 | ||
| list_0.xml | 2020-09-29 22:26 | 19 | ||
| tutor7_2_4.xml | 2020-09-29 22:25 | 18 | ||
| tutor7_3_5.xml | 2020-09-29 22:25 | 17 | ||
| tutor10_2_1.xml | 2020-09-29 22:24 | 16 | ||
| empty1_1.xml | 2020-09-29 22:23 | 13 | ||
| tutor4_3_2.xml | 2020-09-29 22:22 | 9 | ||
| tutor4_3_1.xml | 2020-09-29 22:21 | 8 | ||
| tutor10_2_2.xml | 2020-09-29 22:19 | 7 | ||
| tutor10_1_4.xml | 2020-09-29 22:19 | 7 | ||
| tutor3_7_1.xml | 2020-09-29 22:18 | 5 | ||
| OASIS/ | 2020-09-24 01:59 | - | ||