| Sun, 13 Mar 2011 16:38:14 +0100 | wenzelm | prefer qualified ISABELLE_NEOS_SERVER; | file | diff | annotate |
| Sat, 08 Jan 2011 18:01:10 +0100 | wenzelm | updated NEOS_SERVER, which is now provided via settings; | file | diff | annotate |
| Sat, 08 Jan 2011 17:39:51 +0100 | wenzelm | renamed Sum_Of_Squares to Sum_of_Squares; | file | diff | annotate | base |