Permalink
Commits on Mar 9, 2016
  1. Fix stupid parsing code for statistics

    This caused opam.ocaml.org to not be available. To reproduce: try to
    download http://opam.ocaml.org/archives//cudf.0.7+opam.tar.gz (notice
    the double //)
    committed Mar 9, 2016
Commits on Jul 27, 2015
  1. Merge pull request #133 from AltGr/more-links

    Fix rss links, link source files, clickable anchors
    AltGr committed Jul 27, 2015
  2. Tiny js to make anchors clickable

    AltGr committed Jul 27, 2015
  3. feed: add alt links

    Closes #112
    AltGr committed Jul 27, 2015
Commits on Jul 21, 2015
  1. css: improve anchor handling

    AltGr committed Jul 21, 2015
Commits on Mar 9, 2015
  1. Merge pull request #132 from AltGr/more-toc-format

    doc: put a frame around page toc to separate from documentation sections
    AltGr committed Mar 9, 2015
Commits on Mar 6, 2015
  1. More toc style

    AltGr committed Mar 6, 2015
Commits on Mar 4, 2015
  1. Merge pull request #131 from AltGr/doc-toc-css

    Improve documentation TOCs
    AltGr committed Mar 4, 2015
  2. Improve documentation TOCs

    and some CSS
    AltGr committed Mar 4, 2015
  3. Merge pull request #129 from sgoblin/master

    Fixed html so that it would validate.
    AltGr committed Mar 4, 2015
Commits on Jan 29, 2015
  1. Fixed html so that it would validate.

    Changed <a><button/></a> to <a class="btn"></a>, added DOCTYPE and
    encoding meta tag with http-equiv.
    sgoblin committed Jan 29, 2015
Commits on Jan 22, 2015
  1. Merge pull request #128 from dsheets/master

    Prepare for 1.4.0 release
    dsheets committed Jan 22, 2015
  2. Fix search.js creation

    dsheets committed Aug 28, 2014
Commits on Jan 21, 2015
  1. Correct new opamfu version

    dsheets committed Jan 21, 2015
Commits on Jan 10, 2015
  1. Add an opam file

    committed Jan 10, 2015
Commits on Oct 23, 2014
  1. Merge pull request #123 from AltGr/1.2-release

    Put the 1.2 doc pages in front for the release
    AltGr committed Oct 23, 2014
  2. Automatically generate doc index page (with just the menu)

    placeholder for doc/ links
    AltGr committed Oct 23, 2014
Commits on Aug 29, 2014
  1. Merge pull request #120 from samoht/master

    Add Travis files.
    committed Aug 29, 2014
Commits on Aug 28, 2014
  1. Remove testing of 4.00.1

    committed Aug 28, 2014
  2. Add Travis files.

    committed Aug 27, 2014
Commits on Aug 23, 2014
  1. Every opam2web site should use opam2web.css

    Also, factored more demo-specific style into site.css.
    dsheets committed Aug 23, 2014
  2. Fix bootstrap js loading

    dsheets committed Aug 23, 2014