matita.cs.unibo.it Git - logicplayer.git/search

]> matita.cs.unibo.it Git - logicplayer.git/search

projects / logicplayer.git / search

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

2014-12-02	www-data	Updated to new version.	commit \| commitdiff \| tree
2014-12-02	www-data	cleanup	commit \| commitdiff \| tree
2014-12-02	www-data	Development files dropped.	commit \| commitdiff \| tree
2014-12-02	www-data	shuffling + libs imported	commit \| commitdiff \| tree
2014-12-02	www-data	Shuffling.	commit \| commitdiff \| tree
2014-12-02	www-data	new initial commit	commit \| commitdiff \| tree

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