Commits

Commit history

1. Commits on Sep 17, 2017

   • Merge pull request #1 from querycert/master

     Show description for d68b757
     xavierleroy

     authored
     d68b757View commit details

     Copy full SHA for d68b757

     Browse repository at this point
2. Commits on Sep 9, 2017

   • Small fix to handling of comments within proofs (BofL)

     

     Jerome Simeon

     committed
     7fb22d9View commit details

     Copy full SHA for 7fb22d9

     Browse repository at this point
3. Commits on Jul 15, 2017

   • Update Changes file

     xavierleroy

     committed
     e2b9409View commit details

     Copy full SHA for e2b9409

     Browse repository at this point

   • Documentation tweaks

     xavierleroy

     committed
     52da610View commit details

     Copy full SHA for 52da610

     Browse repository at this point

   • Add documentation

     xavierleroy

     committed
     cf8ae42View commit details

     Copy full SHA for cf8ae42

     Browse repository at this point

   • Suppress LaTeX escapes $...$

     Show description for b03e464
     xavierleroy

     committed
     b03e464View commit details

     Copy full SHA for b03e464

     Browse repository at this point
4. Commits on Jul 12, 2017

   • Debug option -external

     xavierleroy

     committed
     40f5b05View commit details

     Copy full SHA for 40f5b05

     Browse repository at this point

   • Add option to produce redirection pages.

     Show description for 86a086c
     xavierleroy

     committed
     86a086cView commit details

     Copy full SHA for 86a086c

     Browse repository at this point
5. Commits on Jul 7, 2017

   • Initial import

     xavierleroy

     committed
     a870b48View commit details

     Copy full SHA for a870b48

     Browse repository at this point

   • Initial commit

     xavierleroy

     committed
     23ae70cView commit details

     Copy full SHA for 23ae70c

     Browse repository at this point