taddeus/trs: Mathematical term rewriting system @ 6402d3f5ba920709472d4759ac358e40b3dd374a

Sander Mathijs van Veen 67c135176a Display proper status indication after validation for each input line		13 éve
..
cross.png	388bdb396f Fix merge conflict.	13 éve
error.png	67c135176a Display proper status indication after validation for each input line	13 éve
info.png	388bdb396f Fix merge conflict.	13 éve
load.gif	388bdb396f Fix merge conflict.	13 éve
tick.png	388bdb396f Fix merge conflict.	13 éve