STR-310: remove obscure features
Remove the following features from the language
Submitted on 4 June 2005 at 16:49
- contextual rules
- literate programming comments (egin{code} … end{code})
- strategy rules ( L :: s1 –> s2 )
- thread
- modified congruences
Issue Log
On 4 June 2005 at 16:50 Jira commented:
STR-310, visser:
Fixed in r10177
Log in to post comments