Jan Friso Groote

#### 2017-11-16 15:06:22: @wiegerw commented ___ (In [r15078](../commit/be4e46d56)) - Set the precedences of several '(' Expression ')' rules in the grammar to 50, i.e. the highest value. This enables parsing...

#### 2017-11-16 16:27:35: @tneele commented ___ I'm thinking this issue may need to be reopened, because not all issues have been resolved. Parsing of the formula ` true` still results...

#### 2013-03-14 10:17:51: @jkeiren uploaded file [`test.mcrl2`](http://mcrl2.org/download/attachments/1149/test.mcrl2) (0.1 KiB)

#### 2014-09-03 14:12:11: [email protected] changed status from *new* to *assigned*

#### 2014-09-03 14:12:11: [email protected] changed owner from *fstapper* to *jfg*

#### 2014-09-03 21:33:08: @jgroote changed status from *assigned* to *accepted*

#### 2014-09-03 21:33:08: @jgroote changed type from *defect* to *enhancement*

#### 2014-09-03 21:33:08: @jgroote

#### 2014-09-03 21:33:08: @jgroote commented ___ Adding the suggested equations does not immediately lead lpsconstelm to remove the parameters. More needs to be done, probably adding the equation tail([])=[] or...

#### 2016-11-24 19:30:10: @wiegerw