Changeset 1311 for Deliverables/D3.3/id-lookup-branch/Clight/label.ma
- Timestamp:
- Oct 6, 2011, 6:45:54 PM (10 years ago)
- Location:
- Deliverables/D3.3/id-lookup-branch
- Files:
-
- 2 edited
-
. (modified) (1 prop)
-
Clight/label.ma (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D3.3/id-lookup-branch
- Property svn:mergeinfo changed
/src merged: 1198,1206-1233,1236-1260,1262-1264,1266,1268-1271,1274-1276,1278-1290,1292
- Property svn:mergeinfo changed
-
Deliverables/D3.3/id-lookup-branch/Clight/label.ma
r1056 r1311 187 187 188 188 definition clight_label : clight_program → res clight_program ≝ 189 transform_partial_program ???label_fundef.189 λp. transform_partial_program … p label_fundef.
Note: See TracChangeset
for help on using the changeset viewer.
