source: git/Tst/Plural.lst @ 3f623f

spielwiese
Last change on this file since 3f623f was 662ece, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
DeRahm - related changes
  • Property mode set to 100644
File size: 1.0 KB
Line 
1; Plural/AlgDep-qso3-dp.tst
2Plural/AnnFD-sl2-10.tst
3; Plural/AnnFD-sl2-15.tst
4Plural/AnnFD-sl2-4.tst
5Plural/AnnFD-sl2-7.tst
6; Plural/bern5_slimgb.tst
7Plural/dmod_lib.tst
8Plural/doc-bracket.tst
9Plural/doc-dim.tst
10Plural/doc-division1.tst
11Plural/doc-division2.tst
12Plural/doc-elimination.tst
13Plural/doc-ideal-decl.tst
14Plural/doc-ideal-expr.tst
15Plural/doc-ideal-ops.tst
16Plural/doc-minres.tst
17Plural/doc-module-decl.tst
18Plural/doc-module-ops.tst
19Plural/doc-mres.tst
20Plural/doc-nres.tst
21;; Plural/doc-plural.tst
22Plural/doc-poly-decl.tst
23Plural/doc-poly-expr.tst
24Plural/doc-qring-decl.tst
25Plural/doc-reduce.tst
26Plural/doc-resolution-decl.tst
27Plural/doc-ring-ops.tst
28Plural/doc-std.tst
29Plural/doc-syz.tst
30Plural/doc-syz-resol.tst
31Plural/doc-twostd.tst
32Plural/doc-vdim.tst
33Plural/involut_lib.tst
34Plural/mult_general1.tst
35Plural/mult_general_q1.tst
36Plural/mult_lie1.tst
37Plural/mult_skew1.tst
38Plural/Syz-qso3.tst
39Plural/Syz-qso3-q3.tst
40Plural/TwoGB-g2-3.tst
41; Plural/ucha2.tst
42Plural/ucha4.tst
43;;; Plural/derham.tst ;; too long for now
Note: See TracBrowser for help on using the repository browser.