Changes between Initial Version and Version 1 of Ticket #37100, comment 5
- Timestamp:
- Apr 28, 2018, 12:24:00 AM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #37100, comment 5
initial v1 1 So far as I know, Coq hasn't depended on ocaml3 in a very long time. If someone is still having trouble, please let me know in a fresh ticket.1 So far as I know, Coq hasn't depended on ocaml3 in a very long time. If someone is still having trouble, please let me know.