| | | |
Offset 1, 422 lines modified | Offset 1, 429 lines modified |
1 | ········var·depends·=·[ | 1 | ········var·depends·=·[ |
| |
2 | ············{ | 2 | ············{ |
3 | ················data:·{ | 3 | ················data:·{ |
| 4 | ····················id:·"cluster_all", |
| 5 | ····················name:·"all" |
| 6 | ················} |
| 7 | ············},·{ |
| 8 | ················data:·{ |
| 9 | ····················id:·"cluster_all_plus", |
| 10 | ····················name:·"+", |
| 11 | ····················parent:·"cluster_all" |
| 12 | ················} |
| 13 | ············},·{ |
| 14 | ················data:·{ |
| 15 | ····················id:·"all", |
| 16 | ····················name:·"all", |
| 17 | ····················parent:·"cluster_all", |
| 18 | ····················released:·"no" |
| 19 | ················} |
| 20 | ············},·{ |
| 21 | ················data:·{ |
4 | ····················id:·"cluster_ssreflect", | 22 | ····················id:·"cluster_ssreflect", |
5 | ····················name:·"ssreflect" | 23 | ····················name:·"ssreflect" |
6 | ················} | 24 | ················} |
7 | ············},·{ | 25 | ············},·{ |
8 | ················data:·{ | 26 | ················data:·{ |
9 | ····················id:·"cluster_ssreflect_plus", | 27 | ····················id:·"cluster_ssreflect_plus", |
10 | ····················name:·"+", | 28 | ····················name:·"+", |
11 | ····················parent:·"cluster_ssreflect" | 29 | ····················parent:·"cluster_ssreflect" |
12 | ················} | 30 | ················} |
13 | ············},·{ | 31 | ············},·{ |
14 | ················data:·{ | 32 | ················data:·{ |
15 | ····················id:·"bigop", | 33 | ····················id:·"eqtype", |
16 | ····················name:·"bigop", | 34 | ····················name:·"eqtype", |
17 | ····················parent:·"cluster_ssreflect", | 35 | ····················parent:·"cluster_ssreflect", |
18 | ····················released:·"no" | 36 | ····················released:·"no" |
19 | ················} | 37 | ················} |
20 | ············},·{ | 38 | ············},·{ |
21 | ················data:·{ | 39 | ················data:·{ |
22 | ····················id:·"binomial", | 40 | ····················id:·"tuple", |
23 | ····················name:·"binomial", | 41 | ····················name:·"tuple", |
24 | ····················parent:·"cluster_ssreflect", | 42 | ····················parent:·"cluster_ssreflect", |
25 | ····················released:·"no" | 43 | ····················released:·"no" |
26 | ················} | 44 | ················} |
27 | ············},·{ | 45 | ············},·{ |
28 | ················data:·{ | 46 | ················data:·{ |
29 | ····················id:·"ssrnat", | 47 | ····················id:·"bigop", |
30 | ····················name:·"ssrnat", | 48 | ····················name:·"bigop", |
31 | ····················parent:·"cluster_ssreflect", | 49 | ····················parent:·"cluster_ssreflect", |
32 | ····················released:·"no" | 50 | ····················released:·"no" |
33 | ················} | 51 | ················} |
34 | ············},·{ | 52 | ············},·{ |
35 | ················data:·{ | 53 | ················data:·{ |
36 | ····················id:·"eqtype", | 54 | ····················id:·"ssrnotations", |
37 | ····················name:·"eqtype", | 55 | ····················name:·"ssrnotations", |
38 | ····················parent:·"cluster_ssreflect", | 56 | ····················parent:·"cluster_ssreflect", |
39 | ····················released:·"no" | 57 | ····················released:·"no" |
40 | ················} | 58 | ················} |
41 | ············},·{ | 59 | ············},·{ |
42 | ················data:·{ | 60 | ················data:·{ |
43 | ····················id:·"path", | 61 | ····················id:·"fintype", |
44 | ····················name:·"path", | 62 | ····················name:·"fintype", |
45 | ····················parent:·"cluster_ssreflect", | 63 | ····················parent:·"cluster_ssreflect", |
46 | ····················released:·"no" | 64 | ····················released:·"no" |
47 | ················} | 65 | ················} |
48 | ············},·{ | 66 | ············},·{ |
49 | ················data:·{ | 67 | ················data:·{ |
50 | ····················id:·"finfun", | 68 | ····················id:·"generic_quotient", |
51 | ····················name:·"finfun", | 69 | ····················name:·"generic_quotient", |
52 | ····················parent:·"cluster_ssreflect", | 70 | ····················parent:·"cluster_ssreflect", |
53 | ····················released:·"no" | 71 | ····················released:·"no" |
54 | ················} | 72 | ················} |
55 | ············},·{ | 73 | ············},·{ |
56 | ················data:·{ | 74 | ················data:·{ |
57 | ····················id:·"ssrmatching", | 75 | ····················id:·"ssrmatching", |
58 | ····················name:·"ssrmatching", | 76 | ····················name:·"ssrmatching", |
59 | ····················parent:·"cluster_ssreflect", | 77 | ····················parent:·"cluster_ssreflect", |
60 | ····················released:·"no" | 78 | ····················released:·"no" |
61 | ················} | 79 | ················} |
62 | ············},·{ | 80 | ············},·{ |
63 | ················data:·{ | 81 | ················data:·{ |
64 | ····················id:·"finset", | |
65 | ····················name:·"finset", | |
66 | ····················parent:·"cluster_ssreflect", | |
67 | ····················released:·"no" | |
68 | ················} | |
69 | ············},·{ | |
70 | ················data:·{ | |
71 | ····················id:·"order", | 82 | ····················id:·"div", |
72 | ····················name:·"order", | 83 | ····················name:·"div", |
73 | ····················parent:·"cluster_ssreflect", | 84 | ····················parent:·"cluster_ssreflect", |
74 | ····················released:·"no" | 85 | ····················released:·"no" |
75 | ················} | 86 | ················} |
76 | ············},·{ | 87 | ············},·{ |
77 | ················data:·{ | 88 | ················data:·{ |
78 | ····················id:·"choice", | 89 | ····················id:·"choice", |
79 | ····················name:·"choice", | 90 | ····················name:·"choice", |
80 | ····················parent:·"cluster_ssreflect", | 91 | ····················parent:·"cluster_ssreflect", |
81 | ····················released:·"no" | 92 | ····················released:·"no" |
82 | ················} | 93 | ················} |
83 | ············},·{ | 94 | ············},·{ |
84 | ················data:·{ | 95 | ················data:·{ |
85 | ····················id:·"ssreflect", | 96 | ····················id:·"ssrAC", |
86 | ····················name:·"ssreflect", | 97 | ····················name:·"ssrAC", |
87 | ····················parent:·"cluster_ssreflect", | 98 | ····················parent:·"cluster_ssreflect", |
88 | ····················released:·"no" | 99 | ····················released:·"no" |
89 | ················} | 100 | ················} |
90 | ············},·{ | 101 | ············},·{ |
91 | ················data:·{ | 102 | ················data:·{ |
92 | ····················id:·"fintype", | 103 | ····················id:·"fingraph", |
93 | ····················name:·"fintype", | 104 | ····················name:·"fingraph", |
94 | ····················parent:·"cluster_ssreflect", | 105 | ····················parent:·"cluster_ssreflect", |
95 | ····················released:·"no" | 106 | ····················released:·"no" |
96 | ················} | 107 | ················} |
97 | ············},·{ | 108 | ············},·{ |
98 | ················data:·{ | 109 | ················data:·{ |
99 | ····················id:·"fingraph", | 110 | ····················id:·"all_ssreflect", |
100 | ····················name:·"fingraph", | 111 | ····················name:·"all_ssreflect", |
101 | ····················parent:·"cluster_ssreflect", | 112 | ····················parent:·"cluster_ssreflect", |
102 | ····················released:·"no" | 113 | ····················released:·"no" |
103 | ················} | 114 | ················} |
104 | ············},·{ | 115 | ············},·{ |
105 | ················data:·{ | 116 | ················data:·{ |
106 | ····················id:·"ssrnotations", | 117 | ····················id:·"binomial", |
107 | ····················name:·"ssrnotations", | 118 | ····················name:·"binomial", |
108 | ····················parent:·"cluster_ssreflect", | 119 | ····················parent:·"cluster_ssreflect", |
Max diff block lines reached; 72296/77133 bytes (93.73%) of diff not shown.
|