Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoolUtils.ml @ 40a714df

History | View | Annotate | Download (1.91 KB)

# Date Author Comment
c2cc0c2e 02/05/2015 04:00 AM Thorsten Wißmann

Add basic debugging repl

c4abe601 05/04/2014 05:38 PM Thorsten Wißmann

Improve error messages and role parsing

ff936590 04/23/2014 10:08 PM Thorsten Wißmann

Parse OWL prefixes

7f2800d0 04/23/2014 12:37 PM Thorsten Wißmann

Add OWL frontend

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend