|
28448468 - Enlisted in https://scm.gforge.inria.fr/coq/coq - Undone by Guillaume Melquiond Dec 02, 2013 |
Can't Undo
No earlier value.
42539669 - Changed link 822676's link_category_id to be 'Documentation' by Guillaume Melquiond Nov 06, 2017 |
Can't Undo
No earlier value.
42539668 - Changed link 822676's url to be 'http://why3.lri.fr/doc/' by Guillaume Melquiond Nov 06, 2017 |
Can't Undo
No earlier value.
42539667 - Changed link 822676's title to be 'Documentation' by Guillaume Melquiond Nov 06, 2017 |
Redo
Guillaume Melquiond
undid this on
Nov 06, 2017
20017804 - Created link 600248 - Undone by Guillaume Melquiond Sep 16, 2012 |
Can't Undo
No earlier value.
42539643 - Changed link 822673's link_category_id to be 'Issue Trackers' by Guillaume Melquiond Nov 06, 2017 |
Can't Undo
No earlier value.
42539642 - Changed link 822673's url to be 'https://gitlab.inria.fr/why3/why3/issues' by Guillaume Melquiond Nov 06, 2017 |
Can't Undo
No earlier value.
42539641 - Changed link 822673's title to be 'Issue tracker' by Guillaume Melquiond Nov 06, 2017 |