OCaml code with highlighted syntax

We use the OCaml parser written by Jakub Piotr Nowak.

You can type 

{ { { #!ocaml
<ocaml code>
} } }

For example 

let constr_of c = Constrintern.interp_constr Evd.empty (Global.env()) c

By default you don't get any line numbers. Adding numbers=on adds line numbers to the code, which then can be toggled on and off in most browsers. 

   1 let constr_of c = Constrintern.interp_constr Evd.empty (Global.env()) c

HelpForCocorico!/ColorizedOCamlSyntax (last edited 07-12-2007 20:37:49 by localhost)

Cocorico!WikiLicense