Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
← Previous Change
Next Change
→
Changeset
160
for
C-semantics/acc-0.1.spaces.patch
Timestamp:
Oct 6, 2010, 5:23:44 PM (
10 years
ago)
Author:
campbell
Message:
Patch to acc to parse 8051 memory spaces and output matita terms.
File:
1 added
C-semantics/acc-0.1.spaces.patch
(added)
Note:
See
TracChangeset
for help on using the changeset viewer.
Download in other formats:
Unified Diff
Zip Archive