Permalink
Switch branches/tags
Nothing to show
Commits on Jul 31, 2011
Commits on Jul 30, 2011
  1. Add [caml[ ]caml] environments to Coq's comments

    This allows to highlight OCaml code in Bracetax Coq comments (for
    example to show results of Extraction commands).
    committed Jul 30, 2011
Commits on Apr 18, 2011
  1. Fix the CSS

    committed Apr 18, 2011
  2. Improve the website's index page

    committed Apr 18, 2011
  3. Do fixes in the Coq file

    committed Apr 18, 2011
  4. Improve build of the web site

    committed Apr 18, 2011
  5. Add LaTeX support

    committed Apr 18, 2011
  6. Add a quick mk script

    committed Apr 18, 2011