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

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

2015-10-20	servillo	server/log ignored master	commit \| commitdiff \| tree \| snapshot
2015-10-20	servillo	*~ ignored	commit \| commitdiff \| tree \| snapshot
2015-10-20	servillo	Non versioned files removed from git	commit \| commitdiff \| tree \| snapshot
2015-10-20	servillo	.gradle ignored	commit \| commitdiff \| tree \| snapshot
2015-10-19	Claudio Sacerdoti...	Ported to latest version of Android SDK	commit \| commitdiff \| tree \| snapshot
2015-10-05	root	JOURNAL updated	commit \| commitdiff \| tree \| snapshot
2014-12-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2014-12-16	www-data	...	commit \| commitdiff \| tree \| snapshot
2014-12-16	www-data	Bug fixed: made robust against lost of connection with db.	commit \| commitdiff \| tree \| snapshot
2014-12-16	www-data	Printing of dates improved.	commit \| commitdiff \| tree \| snapshot
2014-12-16	Claudio Sacerdoti...	Timestamp on exercises.	commit \| commitdiff \| tree \| snapshot
2014-12-16	www-data	Logging error messages too + new exercises.	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	New exercises.	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	gitignore	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	It now logs again (using tee).	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	Now uses localhost to send e-mail.	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	New version.	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	...	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	New exercises.	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	...	commit \| commitdiff \| tree \| snapshot
2014-12-11	www-data	...	commit \| commitdiff \| tree \| snapshot
2014-12-11	Claudio Sacerdoti...	Dirty hack to improve size computation for hypotheses.	commit \| commitdiff \| tree \| snapshot
2014-12-09	Claudio Sacerdoti...	New version (to be tested).	commit \| commitdiff \| tree \| snapshot
2014-12-09	Claudio Sacerdoti...	New version	commit \| commitdiff \| tree \| snapshot
2014-12-09	Claudio Sacerdoti...	The applet.	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	New version of webapp.	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	JOURNAL updated to new repository layout and new version	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	Updated to new version.	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	cleanup	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	Development files dropped.	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	shuffling + libs imported	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	Shuffling.	commit \| commitdiff \| tree \| snapshot
2014-12-02	www-data	new initial commit	commit \| commitdiff \| tree \| snapshot

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

RSS Atom