Edits

[88 total ]
Avatar

350386

Project 'Coq proof assistant': Changed url_name to coq

by Samuel Bronson 11 Jun 08

Avatar

350380

Project 'Coq proof assistant': Changed tag_list to proving theorem functional ...

by Samuel Bronson 11 Jun 08

Avatar

350376

Project 'Coq': Changed tag_list to

by Samuel Bronson 11 Jun 08

Samuel Bronson undid this on Jun 11
Avatar

350372

Project 'Coq': Enlisted in svn://scm.gforge.inria.fr/svn/coq/trunk - Undone

by Samuel Bronson 11 Jun 08

Avatar

350371

Project 'Coq': Changed url_name to [nothing]

by Samuel Bronson 11 Jun 08

Avatar

350370

Project 'Coq': Changed description to accidental dupe of "Coq pro...

by Samuel Bronson 11 Jun 08

Avatar

350369

Project 'Coq': Changed download_url to

by Samuel Bronson 11 Jun 08

Avatar

350368

Project 'Coq': Changed url to

by Samuel Bronson 11 Jun 08

Avatar

350367

Project 'Coq': Changed name to Coq

by Samuel Bronson 11 Jun 08

Avatar

350366

Project 'Coq': Created Project[14885]

by Samuel Bronson 11 Jun 08