proof-general/hol-light/TODO, branch master

proof-general/hol-light/TODO, branch master Emacs plugins for proof management systems Update 2012-11-01T11:54:36+00:00 David Aspinall 2012-11-01T11:54:36+00:00 159ce79d0db889ea731d1b7d3202873205b1f1be

Allocate jobs! 2012-02-23T13:02:35+00:00 David Aspinall 2012-02-23T13:02:35+00:00 f1fdbc36e57c6005aed913830eabe2115dabc7c5

*** empty log message *** 2012-02-21T14:00:44+00:00 David Aspinall 2012-02-21T14:00:44+00:00 22e1df6da4f7324b4013a1fce79906b9c3b911fb

*** empty log message *** 2012-02-21T14:00:34+00:00 David Aspinall 2012-02-21T14:00:34+00:00 190c697a279815a5d17daecaf6978034b1881a4b

*** empty log message *** 2012-02-21T13:59:27+00:00 David Aspinall 2012-02-21T13:59:27+00:00 9559c5ec2bb522e57cad697694ee6b7bbc5d588f