Permalink
Browse files

clarifiy authorshipt of ProB Frege Code in README

  • Loading branch information...
Dierk committed Dec 1, 2017
1 parent 9e84c50 commit e1ce2b81a481454b185d5ce19b8d3f55d0e5d8cd
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.md
View
@@ -211,7 +211,7 @@ Related Projects
* [sbt Frege plugin](https://github.com/earldouglas/sbt-frege), by James Douglas
* [An efficient Frege Ray-Tracer](https://github.com/mchav/Frege-RayTracer), by Michael Chavinda
* [Frege Chat](https://github.com/Dierk/FregeChat), Winner at JavaOne 2016 language competition, Dierk König
* [ProB Parser Library](https://github.com/bendisposto/probparsers) by Jens Bendisposto, University Düsseldorf
* [ProB Parser Library](https://github.com/bendisposto/probparsers) by Markus Brenneis (@mabre) and Jens Bendisposto (editor), University Düsseldorf
Contributions
-------------

0 comments on commit e1ce2b8

Please sign in to comment.