Changes between Initial Version and Version 2 of Ticket #46257
- Timestamp:
- Dec 17, 2014, 12:33:14 AM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #46257
-
Property
Summary
changed from
acl2 port missing
toacl2: fetch from upstream fails, needs update to current version 6.5.
-
Property
Summary
changed from
-
Ticket #46257 – Description
initial v2 1 1 2 2 3 {{{