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

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

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

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

2013-04-30	Claudio Sacerdoti...	Control and copyright added.	commit \| commitdiff \| tree
2013-04-30	Claudio Sacerdoti...	Bumped to 0.2.	commit \| commitdiff \| tree
2013-04-30	Claudio Sacerdoti...	Merge tag 'upstream/0.2'	commit \| commitdiff \| tree
2013-04-30	Claudio Sacerdoti...	Imported Upstream version 0.2	commit \| commitdiff \| tree

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