CONTRIBUTORS
changeset 28604 f36496b73227
parent 28474 d0b8b0a1fca5
child 28901 028a52be4078
     1.1 --- a/CONTRIBUTORS	Wed Oct 15 21:06:15 2008 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Oct 15 21:15:35 2008 +0200
     1.3 @@ -7,6 +7,11 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* October 2008: Fabian Immler, TUM
     1.8 +  ATP manager for Sledgehammer, based on ML threads instead of Posix
     1.9 +  processes.  Additional ATP wrappers, including remote SystemOnTPTP
    1.10 +  services.
    1.11 +
    1.12  * August 2008: Fabian Immler, TUM
    1.13    Vampire wrapper script for remote SystemOnTPTP service.
    1.14