equal
deleted
inserted
replaced
44 # Used in revision a428db9ab61d |
44 # Used in revision a428db9ab61d |
45 p1() |
45 p1() |
46 # Used in revision c1546d7400ef |
46 # Used in revision c1546d7400ef |
47 min(0::) |
47 min(0::) |
48 # Used in revision 546fa6576815 |
48 # Used in revision 546fa6576815 |
49 author(lmoscovicz) or author(olivia) |
49 author(lmoscovicz) or author("pierre-yves") |
50 author(olivia) or author(lmoscovicz) |
50 author("pierre-yves") or author(lmoscovicz) |
51 # Used in revision 9bfe68357c01 |
51 # Used in revision 9bfe68357c01 |
52 public() and id("d82e2223f132") |
52 public() and id("d82e2223f132") |
53 # Used in revision ba89f7b542c9 |
53 # Used in revision ba89f7b542c9 |
54 rev(25) |
54 rev(25) |
55 # Used in revision eb763217152a |
55 # Used in revision eb763217152a |
98 draft() |
98 draft() |
99 ::tip |
99 ::tip |
100 draft() and ::tip |
100 draft() and ::tip |
101 ::tip and draft() |
101 ::tip and draft() |
102 author(lmoscovicz) |
102 author(lmoscovicz) |
103 author(olivia) |
103 author("pierre-yves") |
104 ::p1(p1(tip)):: |
104 ::p1(p1(tip)):: |
105 public() |
105 public() |
106 :10000 and public() |
106 :10000 and public() |
107 :10000 and draft() |
107 :10000 and draft() |
108 (not public() - obsolete()) |
108 (not public() - obsolete()) |
128 |
128 |
129 # Testing the behavior of "head()" in various situations |
129 # Testing the behavior of "head()" in various situations |
130 head() |
130 head() |
131 head() - public() |
131 head() - public() |
132 draft() and head() |
132 draft() and head() |
133 head() and author("olivia") |
133 head() and author("pierre-yves") |
134 |
134 |
135 # testing the mutable phases set |
135 # testing the mutable phases set |
136 draft() |
136 draft() |
137 secret() |
137 secret() |
138 |
138 |