Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / ALCMisc.ml @ def3763d

History | View | Annotate | Download (31.5 KB)

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

Enable documentation generation in oasis

Documentation can be built with: ocaml setup.ml -doc

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

a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

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

Separate cool into library and coalg frontend