EnglishFrenchSpanish

OnWorks favicon

ocamlweb - Online in the Cloud

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

This is the command ocamlweb 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


ocamlweb - A literate programming tool for Objective Caml

SYNOPSIS


ocamlweb [ options ] files

DESCRIPTION


ocamlweb is a literate programming tool for Objective Caml. It creates a LaTeX document
with both documentation and code (implementations and interfaces) from a set of Caml
files. Documentation is inserted into ocaml files as comments. Conversely, code may be
quoted inside documentation between square brackets. See the ocamlweb web site for
documentation and examples.

OPTIONS


-h Help. Will give you the complete list of options accepted by ocamlweb. For
detailed explanations, please check the ocamlweb manual. On a Debian system the
manual can be found at /usr/share/doc/ocamlweb in HTML format, or via the Debian
help system.

AUTHORS


Jean-Christophe Filliatre <[email protected]>
Claude Marche <[email protected]>

Use ocamlweb online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Free Pascal Compiler
    Free Pascal Compiler
    A 32/64/16-bit Pascal compiler for
    Win32/64/CE, Linux, Mac OS X/iOS,
    Android, FreeBSD, OS/2, Game Boy
    Advance, Nintendo NDS and DOS;
    semantically compatible wi...
    Download Free Pascal Compiler
  • 2
    Canon EOS DIGITAL Info
    Canon EOS DIGITAL Info
    Canon doesn�t have shutter count
    included on the EXIF information of an
    image file, as opposed to Nikon and
    Pentax. There�s no official Canon based
    application ...
    Download Canon EOS DIGITAL Info
  • 3
    rEFInd
    rEFInd
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 4
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 5
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    tas...
    Download Music Caster
  • 6
    PyQt
    PyQt
    PyQt is the Python bindings for
    Digia's Qt cross-platform
    application development framework. It
    supports Python v2 and v3 and Qt v4 and
    Qt v5. PyQt is avail...
    Download PyQt
  • More »

Linux commands

Ad