coq/dev/doc/README-V1-V5, branch master

coq/dev/doc/README-V1-V5, branch master The formal proof system Prehistory of Coq: asciidoc conversion. 2015-11-11T21:14:06+00:00 Arnaud Spiwack 2015-11-05T18:43:44+00:00 5357b9849bd6eb0be4f8d60b4e1c091ad5167932 Formatting markup + typography.

Formatting markup + typography.

Updating versions history with data from Gérard. 2015-10-02T15:45:42+00:00 Hugo Herbelin 2015-10-02T15:43:32+00:00 beedccef9ddc8633c705d7c5ee2f1bbbb3ec8a47 Adding Gérard's history file about V1-V5 versions.

Adding Gérard's history file about V1-V5 versions.