| Branch: | Revision:

cool / .gitignore @ master

History | View | Annotate | Download (388 Bytes)

# Date Author Comment
7198f96f 03/22/2017 06:21 PM Hans-Peter Deifel

Enable documentation generation in oasis

Documentation can be built with: ocaml -doc

This also fixes two documentation comments that had the wrong syntax.

885cc0df 03/16/2017 11:16 PM Hans-Peter Deifel

Add .merlin file to gitignore

This is generated by the editor completion framework called merlin:

c14c011a 07/27/2014 05:02 PM Thorsten Wißmann

Add basic curses and readline bindings

edf5c0ed 05/03/2014 03:33 PM Thorsten Wißmann

Compile entiere GMLMIP-0.1 into cool

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

Add OWL frontend

52abec3a 04/23/2014 11:22 AM Thorsten Wißmann

Add oasis temp files to .gitignore

140c015b 01/14/2014 09:01 AM Thorsten Wißmann

Link against ocaml graph library

4d631d27 10/03/2013 11:02 PM Thorsten Wißmann

Add coalg, coalgcompare to .gitignore

7d8d53b6 10/03/2013 10:53 PM Thorsten Wißmann

Add .gitignore