useful
cleanup
This is for more readable formulas, but not directly accepted in tool… “not” instead of “!”, “or” instead of “|” ..
add grammars. (c) TU/e
Random log
gitignore jar files
Merge branch 'master' of https://github.com/remenska/PASSWebStart
don't waste time parsing a process, all we need is actions.