coq/doc/whodidwhat, branch master The formal proof system Fixing typos - Part 1 2019-05-21T21:07:55+00:00 JPR 2019-05-21T21:07:55+00:00 e6322e23958a937fa01960f8ce320717b9863253 






Avoid html markup inside tex files and fix url.
2015-02-10T22:04:29+00:00

Guillaume Melquiond

2015-02-10T22:04:29+00:00

9bbf64143da7c29a3b7b1bf84a70f887e1e8aa63












A few refinements in whodidwhat 8.4.
2015-02-10T18:09:09+00:00

Hugo Herbelin

2015-01-30T13:07:29+00:00

a22efd21eb7e2ddf4e5678631a1ea6ff2824d314












Whodidwhat-8.5: a global pass
2015-01-12T16:21:48+00:00

Arnaud Spiwack

2015-01-12T16:21:48+00:00

bf142d5058c3767a9fae07f32e98ddbfd3720d1a

Updating my own work and others when I could think of them.




Updating my own work and others when I could think of them.






whodidwhat-8.5: typo.
2015-01-12T15:17:44+00:00

Arnaud Spiwack

2015-01-12T15:17:44+00:00

28a81ee376f0b93aff1c776a91da7751024f069a












Small fix in whodidwhat 8.5.
2015-01-08T16:32:26+00:00

Pierre Courtieu

2015-01-08T16:32:26+00:00

c912ffbcbb2fda387854ecd193f06fb967e5add6












Add a few words in whodidwhat.
2015-01-08T13:39:58+00:00

Maxime Dénès

2015-01-08T13:39:58+00:00

7b95055821aab5e6d03a5b17dd6257139181f0a8












Initiating who-did-what for 8.5
2015-01-07T17:41:42+00:00

Hugo Herbelin

2015-01-06T17:37:53+00:00

a3bb735cc75ddbb9c57db79f481170e8e2b32cfb












Committing whodidwhat files.
2015-01-07T17:41:42+00:00

Hugo Herbelin

2015-01-06T17:30:57+00:00

2c62a6af28252e42ce11eec10722fd0373d290b9