{"shas":[["19a866936c6b67d5a4628845b572575217f68311","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","update to Isabelle 11 Sep 2011","Lucas Dixon"],["185d59e264cc7b08fed2bc4395ba96318d9eafd4","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","working on updated ROOT.ML for 11 Sep 2011 Isabelle","Lucas Dixon"],["946579786dee070fc37b819f90f7392a3d2517fb","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","syncing to Isabelle","Lucas Dixon"],["6696af79089087ad3e88790293a1a3cb5bc22cef","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","added log message for file that couldn't be loaded when calling deps.","Lucas Dixon"],["bf4f2f9724d34781c490efac0bc2bb8f33223b05","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","Merge branch 'master' of github.com:Quantomatic/isaplib\n\nConflicts:\n\tproject/ROOT.ML","Lucas Dixon"],["5ddc64f53879439c72d779708312a1cd0088984c","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","added ignore for common backup/tmp file names.","Lucas Dixon"],["3cfb8c2da543c9151523226b936881f7999f6305","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","working on Isabelle library sync","Lucas Dixon"],["be943316cdd9e2b74d3a15282050a1ec24863cba","9729e9f2c279f25f56793452341b0edf53769643@gmail.com","Fixed ROOT.ML file to load up: now have a working Sep Isabelle 2011 libraries.","Lucas Dixon"]],"ref":"refs/heads/master","size":8,"head":"be943316cdd9e2b74d3a15282050a1ec24863cba","push_id":42368616}