EnglishFrenchSpanish

OnWorks favicon

caml2html - Online in the Cloud

Run caml2html in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command caml2html that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


caml2html - pretty print OCaml in html and latex

SYNOPSIS


caml2html [Options...] files...

DESCRIPTION


caml2html pretty prints OCaml source code as html or LaTex files. The pretty printing uses
colors and adds tool‐tips with type annotations if the corresponding .annot file is
present.

Without file arguments, caml2html reads from standard input. By default it writes to
standard output.

OPTIONS


-annotfilter {innermost|outermost}
choose whether innermost or outermost type annotations should be used (default:
innermost)

-noannot
do not insert type annotations as read from .annot files (HTML output only)

-ln add line number at the beginning of each line

-hc comments are treated as raw HTML or LaTeX code (no newlines inside of tags)

-t add a title to the HTML page

-body output only document's body, for inclusion into an existing document (see also
-make-css and -make-latex-defs)

-nf do not add footnotes to the HTML page

-inhead
use default styling and place it in the <head> section of the document (default
when applicable)

-charset <charset>
specify charset to use (default: iso-8859-1)

-css use separate CSS style file style.css

-cssurl <URL>
use URL as CSS

-inline
use inline styling (HTML only, default fallback if -inhead is not applicable)

-ie7 drop support for type annotations on Internet Explorer 6 and older

-notab do not replace tabs by spaces

-tab <integer>
replace tab by n spaces (default = 8)

-d <directory>
generate files in directory dir, rather than in current directory

-o <filename>
output file

-make-css <filename>
create CSS file with default color definitions and exit

-ext <NAME:CMD>
use the given external command CMD to handle comments that start with (*NAME. NAME
must be a lowercase identifier. See EXAMPLES below.

-latex output LaTeX code instead of HTML.

-make-latex-defs <filename>
create a file containing the default LaTeX color definitions and matching
highlighting commands, and exit. \usepackage{alltt,color} is not included.

-v print version number to stdout and exit

-help | --help
Display options and exit.

EXAMPLES


Process many files into a single file:

caml2html -o result.html *.mli *.ml

Process many files, and create one HTML page for each file:

caml2html *.ml

You can use HTML in the comments of the source file, for instance, to insert hyperlinks:

(* This is file1.ml.
<a href="#file2.ml">This is a link to file2.ml</a>. *)

Note, that one HTML tag cannot span over several lines, and that the ordinary characters
<, > and & must be written as &lt;, &gt; and &amp;.

Custom comment handlers To implement an include directive for comments, use

caml2html -ext "include: xargs cat" example.ml

Then

(*include i.html *)
let f x = 2 * x + 1

produces

... contens of i.html ...
let f x = 2 * x + 1

as result.

Use caml2html online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 2
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 3
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • 4
    eSpeak: speech synthesis
    eSpeak: speech synthesis
    Text to Speech engine for English and
    many other languages. Compact size with
    clear but artificial pronunciation.
    Available as a command-line program with
    many ...
    Download eSpeak: speech synthesis
  • 5
    Sky Chart / Cartes du Ciel
    Sky Chart / Cartes du Ciel
    SkyChart is a software to draw chart of
    the night sky for the amateur astronomer
    from a bunch of stars and nebulae
    catalogs. See main web page for full
    download...
    Download Sky Chart / Cartes du Ciel
  • 6
    GSmartControl
    GSmartControl
    GSmartControl is a graphical user
    interface for smartctl. It allows you to
    inspect the hard disk and solid-state
    drive SMART data to determine its
    health, as w...
    Download GSmartControl
  • More »

Linux commands

  • 1
    abc2abc
    abc2abc
    abc2abc - a simple abc
    checker/re-formatter/transposer ...
    Run abc2abc
  • 2
    abc2ly
    abc2ly
    abc2ly - manual page for abc2ly
    (LilyPond) 2.18.2 ...
    Run abc2ly
  • 3
    coqmktop
    coqmktop
    coqmktop - The Coq Proof Assistant
    user-tactics linker ...
    Run coqmktop
  • 4
    coqtop
    coqtop
    coqtop - The Coq Proof Assistant
    toplevel system ...
    Run coqtop
  • 5
    g.copygrass
    g.copygrass
    g.copy - Copies available data files in
    the current mapset search path to the
    user�s current mapset. KEYWORDS:
    general, map management ...
    Run g.copygrass
  • 6
    g.dirsepsgrass
    g.dirsepsgrass
    g.dirseps - Internal GRASS utility for
    converting directory separator
    characters. Converts any directory
    separator characters in the input string
    to or from na...
    Run g.dirsepsgrass
  • More »

Ad