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

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

2014-12-16	www-data	Bug fixed: made robust against lost of connection with db.	commit \| commitdiff \| tree
2014-12-16	www-data	Printing of dates improved.	commit \| commitdiff \| tree
2014-12-16	www-data	Logging error messages too + new exercises.	commit \| commitdiff \| tree
2014-12-11	www-data	New exercises.	commit \| commitdiff \| tree
2014-12-11	www-data	gitignore	commit \| commitdiff \| tree
2014-12-11	www-data	It now logs again (using tee).	commit \| commitdiff \| tree
2014-12-11	www-data	Now uses localhost to send e-mail.	commit \| commitdiff \| tree
2014-12-11	www-data	New version.	commit \| commitdiff \| tree
2014-12-11	www-data	...	commit \| commitdiff \| tree
2014-12-11	www-data	New exercises.	commit \| commitdiff \| tree
2014-12-11	www-data	...	commit \| commitdiff \| tree
2014-12-11	www-data	...	commit \| commitdiff \| tree
2014-12-02	www-data	New version of webapp.	commit \| commitdiff \| tree
2014-12-02	www-data	JOURNAL updated to new repository layout and new version	commit \| commitdiff \| tree
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.