equal
deleted
inserted
replaced
174 "Modified: / 09-05-2014 / 16:35:38 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
174 "Modified: / 09-05-2014 / 16:35:38 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
175 ! ! |
175 ! ! |
176 |
176 |
177 !TokenPatternParser class methodsFor:'documentation'! |
177 !TokenPatternParser class methodsFor:'documentation'! |
178 |
178 |
|
179 version_CVS |
|
180 |
|
181 ^ '$Header$' |
|
182 ! |
|
183 |
179 version_HG |
184 version_HG |
180 |
185 |
181 ^ '$Changeset: <not expanded> $' |
186 ^ '$Changeset: <not expanded> $' |
182 ! ! |
187 ! ! |
183 |
188 |