matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/shortlog

]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/shortlog

projects / pkg-cerco / acc-trusted.git / shortlog

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2013-04-30	Claudio Sacerdoti...	Control and copyright added. master	commit \| commitdiff \| tree \| snapshot
2013-04-30	Claudio Sacerdoti...	Bumped to 0.2.	commit \| commitdiff \| tree \| snapshot
2013-04-30	Claudio Sacerdoti...	Merge tag 'upstream/0.2'	commit \| commitdiff \| tree \| snapshot
2013-04-30	Claudio Sacerdoti...	Imported Upstream version 0.2 upstream	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Merge tag 'upstream/0.1'	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Imported Upstream version 0.1 upstream/0.1	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	rename compiler to acc-trusted	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	minimal package ready	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Imported Upstream version 0.1	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Merge tag 'upstream/0.1'	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Imported Upstream version 0.1	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Merge tag 'upstream/0.1'	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Merge tag 'upstream/0.1'	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Imported Upstream version 0.1	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	some packaging work	commit \| commitdiff \| tree \| snapshot
2013-04-04	Enrico Tassi	Imported Upstream version 0.1	commit \| commitdiff \| tree \| snapshot

Unnamed repository; edit this file 'description' to name the repository.