Permalink
Switch branches/tags
Commits on May 21, 2009
  1. Sharpen the conclusion.

    committed May 21, 2009
  2. Cite Coq'art

    committed May 21, 2009
Commits on May 20, 2009
  1. Ispell run. Fixed many things.

    committed May 20, 2009
  2. Rewrite the abstract.

    committed May 20, 2009
Commits on May 19, 2009
  1. Update the further work section with an interesting idea for a

    reversible language.
    committed May 19, 2009
  2. Prove a more fleshed conclusion.

    committed May 19, 2009
  3. Bump gitignore.

    committed May 19, 2009
  4. Write down the abstract.

    committed May 19, 2009
  5. Update with a new bunch of fixmes

    committed May 19, 2009
  6. Add a preliminary conclusion.

    committed May 19, 2009
  7. Correct Twelf to \scshape

    committed May 19, 2009
Commits on May 18, 2009
  1. Correct compilation error

    committed May 18, 2009
  2. Ispell and correct cocext.

    committed May 18, 2009
  3. Correct the intro.

    committed May 18, 2009
  4. Ispell the intro.

    committed May 18, 2009
Commits on May 16, 2009
  1. More fixmes into the document

    committed May 16, 2009
  2. Update gitignore.

    committed May 16, 2009
  3. Describe how we encoded Janus1

    committed May 16, 2009