Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
Deliverables
/
D4.2-4.3
/
reports
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@1439
9 years
sacerdot
…
(edit)
@1438
9 years
mulligan
changed claudio's english, added bib file
(edit)
@1437
9 years
sacerdot
…
(edit)
@1436
9 years
sacerdot
…
(edit)
@1435
9 years
sacerdot
More on dependent types. One citation is missing.
(edit)
@1434
9 years
mulligan
chages to typesetting and some wording changes
(edit)
@1432
9 years
mulligan
finished d4.2 report
(edit)
@1428
9 years
mulligan
finished d4.3 report
(edit)
@1427
9 years
mulligan
more added to d4.3 report
(edit)
@1420
9 years
mulligan
more changes
(edit)
@1418
10 years
mulligan
correct ratios for semantics calculated
(edit)
@1414
10 years
mulligan
more added
(edit)
@1413
10 years
mulligan
a lot more added, including updated parameters based on csc's recent submit
(edit)
@1409
10 years
mulligan
added more to appendix discussing code
(edit)
@1407
10 years
mulligan
almost finished
(edit)
@1406
10 years
mulligan
a little more
(edit)
@1405
10 years
mulligan
yet more added. apparently there's more parameters than i ever …
(edit)
@1403
10 years
mulligan
more added
(edit)
@1402
10 years
mulligan
more added
(edit)
@1400
10 years
mulligan
more added on parameters
(edit)
@1399
10 years
mulligan
more work on parameters
(edit)
@1398
10 years
mulligan
more work on parameters
(edit)
@1397
10 years
mulligan
more changes, talking about parameters
(edit)
@1394
10 years
mulligan
reconfiguring of tables, and recalculation of ratios
(edit)
@1391
10 years
mulligan
more added
(edit)
@1375
10 years
mulligan
changes, fixing typos etc
(edit)
@1374
10 years
mulligan
added note about cfgs
(edit)
@1373
10 years
mulligan
changes to file based on claudio's suggestions
(edit)
@1366
10 years
mulligan
added connections with other languages to d4.3 report, also fixed …
(edit)
@1365
10 years
mulligan
changed description of task in 4.2 report. added outline and …
(edit)
@1364
10 years
mulligan
finished the report on d4.2. starting d4.3 report
(edit)
@1362
10 years
mulligan
d4-2 report almost complete
(edit)
@1361
10 years
mulligan
more changes
(edit)
@1360
10 years
mulligan
added more on use of dependent types, and also discussing the …
(add)
@1356
10 years
mulligan
deleted redundant directory. added outlines for both reports, and …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog