src/HOL/Tools/ATP/atp_systems.ML
Wed, 28 Jul 2010 23:01:27 +0200 blanchet handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on
Wed, 28 Jul 2010 19:23:56 +0200 blanchet renamed environment variable
Wed, 28 Jul 2010 19:04:59 +0200 blanchet consequence of directory renaming
Wed, 28 Jul 2010 19:01:34 +0200 blanchet rename directory
less more (0) tip