I agree. I will add this to the scripts instead.

Adding Gabi to the discussion.

Not sure I like it since it's very prominent, and it's unrelated to the
functionality of the translator. What is the use case? Why is not served by
running "python -V" (for the version of Python with which the translator is
called) externally?

This should make debugging easier. Can I push the following change:

$ hg diff
diff -r 995a51a9649d src/translate/translate.py
--- a/src/translate/translate.py	Mon Apr 16 14:20:31 2012 +0200
+++ b/src/translate/translate.py	Mon Apr 16 18:22:26 2012 +0200
@@ -8,6 +8,7 @@
 import fact_groups
 import instantiate
 import pddl
+import platform
 import sas_tasks
 import simplify
 import timers
@@ -572,6 +573,7 @@
 if __name__ == "__main__":
     import pddl
 
+    print "Python version: %s" % platform.python_version()
     timer = timers.Timer()
     with timers.timing("Parsing"):
         task = pddl.open()