]> matita.cs.unibo.it Git - logicplayer.git/log
projects / logicplayer.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
logicplayer.git
8 years agoMajor commit: new major version paolo2
commit | commitdiff | tree
servillo [Mon, 7 Mar 2016 16:36:33 +0000 (17:36 +0100)]
Major commit: new major version

1. APP can now be used to insert new exercises and remember the parameters
of the solution
2. the completed solutions are now recorded as XML trees and sent to the
server
3. new concept: class (collection of users)
4. new concept: standings (based on scores of solutions by others)
5. computation of scores revised
6. XSLT to map XML files to PDF and their visualization in the Web interface
7. redesign of the Web interface with improved layout and new functionalities

8 years agoBETA VERSION 2
commit | commitdiff | tree
servillo [Thu, 11 Feb 2016 14:48:36 +0000 (15:48 +0100)]
BETA VERSION 2
aggiunta funzionalità crea esercizio
aggiunte funzionalita' amministrazione

9 years agoserver/log ignored master
commit | commitdiff | tree
servillo [Tue, 20 Oct 2015 11:49:01 +0000 (13:49 +0200)]
server/log ignored

9 years ago*~ ignored
commit | commitdiff | tree
servillo [Tue, 20 Oct 2015 11:46:31 +0000 (13:46 +0200)]
*~ ignored

9 years agoNon versioned files removed from git
commit | commitdiff | tree
servillo [Tue, 20 Oct 2015 11:44:08 +0000 (13:44 +0200)]
Non versioned files removed from git

9 years ago.gradle ignored
commit | commitdiff | tree
servillo [Tue, 20 Oct 2015 11:38:28 +0000 (13:38 +0200)]
.gradle ignored

9 years agoPorted to latest version of Android SDK
commit | commitdiff | tree
Claudio Sacerdoti Coen [Mon, 19 Oct 2015 15:13:04 +0000 (17:13 +0200)]
Ported to latest version of Android SDK

The porting has been done automatically.

9 years agoJOURNAL updated
commit | commitdiff | tree
root [Mon, 5 Oct 2015 14:55:53 +0000 (16:55 +0200)]
JOURNAL updated

The DB name was wrong.

9 years ago...
commit | commitdiff | tree
Claudio Sacerdoti Coen [Tue, 16 Dec 2014 17:08:38 +0000 (18:08 +0100)]
...

9 years ago...
commit | commitdiff | tree
www-data [Tue, 16 Dec 2014 17:07:12 +0000 (18:07 +0100)]
...

9 years agoBug fixed: made robust against lost of connection with db.
commit | commitdiff | tree
www-data [Tue, 16 Dec 2014 16:52:30 +0000 (17:52 +0100)]
Bug fixed: made robust against lost of connection with db.

9 years agoPrinting of dates improved.
commit | commitdiff | tree
www-data [Tue, 16 Dec 2014 16:28:43 +0000 (17:28 +0100)]
Printing of dates improved.

9 years agoTimestamp on exercises.
commit | commitdiff | tree
Claudio Sacerdoti Coen [Tue, 16 Dec 2014 16:07:13 +0000 (17:07 +0100)]
Timestamp on exercises.

9 years agoLogging error messages too + new exercises.
commit | commitdiff | tree
www-data [Tue, 16 Dec 2014 15:58:46 +0000 (16:58 +0100)]
Logging error messages too + new exercises.

9 years agoNew exercises.
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 18:57:08 +0000 (19:57 +0100)]
New exercises.

9 years agogitignore
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 18:30:05 +0000 (19:30 +0100)]
gitignore

9 years agoIt now logs again (using tee).
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 18:27:55 +0000 (19:27 +0100)]
It now logs again (using tee).

9 years agoNow uses localhost to send e-mail.
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 18:26:08 +0000 (19:26 +0100)]
Now uses localhost to send e-mail.

9 years agoNew version.
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 13:23:45 +0000 (14:23 +0100)]
New version.

9 years ago...
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 13:12:53 +0000 (14:12 +0100)]
...

9 years agoNew exercises.
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 12:59:39 +0000 (13:59 +0100)]
New exercises.

9 years ago...
commit | commitdiff | tree
www-data [Thu, 11 Dec 2014 12:57:45 +0000 (13:57 +0100)]
...

9 years ago...
commit | commitdiff | tree
www-data [Tue, 9 Dec 2014 14:02:50 +0000 (15:02 +0100)]
...

9 years agoDirty hack to improve size computation for hypotheses.
commit | commitdiff | tree
Claudio Sacerdoti Coen [Thu, 11 Dec 2014 12:40:12 +0000 (13:40 +0100)]
Dirty hack to improve size computation for hypotheses.

9 years agoNew version (to be tested).
commit | commitdiff | tree
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 14:39:48 +0000 (15:39 +0100)]
New version (to be tested).

9 years agoNew version
commit | commitdiff | tree
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 14:12:12 +0000 (15:12 +0100)]
New version

9 years agoThe applet.
commit | commitdiff | tree
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 13:24:27 +0000 (14:24 +0100)]
The applet.

9 years agoNew version of webapp.
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 14:50:30 +0000 (15:50 +0100)]
New version of webapp.

9 years agoJOURNAL updated to new repository layout and new version
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 11:26:35 +0000 (12:26 +0100)]
JOURNAL updated to new repository layout and new version

9 years agoUpdated to new version.
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 11:20:30 +0000 (12:20 +0100)]
Updated to new version.

9 years agocleanup
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 10:45:26 +0000 (11:45 +0100)]
cleanup

9 years agoDevelopment files dropped.
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 10:41:49 +0000 (11:41 +0100)]
Development files dropped.

9 years agoshuffling + libs imported
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 10:41:03 +0000 (11:41 +0100)]
shuffling + libs imported

9 years agoShuffling.
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 10:34:39 +0000 (11:34 +0100)]
Shuffling.

9 years agonew initial commit
commit | commitdiff | tree
www-data [Tue, 2 Dec 2014 10:24:48 +0000 (11:24 +0100)]
new initial commit

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