log pytools/commands.py @ 3627:c773cc740d4a

age author description
Wed, 09 Nov 2011 22:37:44 +0100 Doug Simon Improved error messages in gl.py.
Wed, 09 Nov 2011 17:29:14 +0100 Michael Haupt fixes for build process
Wed, 09 Nov 2011 17:02:12 +0100 Doug Simon Removed targetting of JDK7G by gl.py.
Wed, 09 Nov 2011 16:02:46 +0100 Doug Simon Improved gl.py script.
Mon, 31 Oct 2011 21:06:04 +0100 Doug Simon Added Python scripts in new 'shell' project. The shell/commands.py script should replace all the existing run*.sh scripts in the top level Graal directory and is where new commands should go.