afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed markdown.

This commit is contained in:
Achim D. Brucker 2020-05-23 11:25:17 +01:00
parent e3caf3c118
commit 58e8dd6e70
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -18,7 +18,7 @@ isabelle build -D Featherweight_OCL
## Authors
* [Achim D. Brucker](http://www.brucker.ch/)
* [Frédéric Tuong]({https://www.scss.tcd.ie/frederic.tuong/)
* [Frédéric Tuong](https://www.scss.tcd.ie/frederic.tuong/)
* [Burkhart Wolff](https://www.lri.fr/~wolff/)
## License