{"head":"100cc388315215645a83ab897597902798dd4725","size":2,"push_id":44720321,"shas":[["07eaa71a7db7a7b7c134914aeabaa7915eb184b4","62d754cc350e84d3b1c32ae79f976f5348e74a40@mondet.org","Remove the old/useless top.ml","Sebastien Mondet"],["100cc388315215645a83ab897597902798dd4725","62d754cc350e84d3b1c32ae79f976f5348e74a40@mondet.org","Update documentation (github move, fixes)\n\nThis commit mostly reflects the move from Berlios (which is closing\ndown) to Github (which was already hosting the development).","Sebastien Mondet"]],"ref":"refs/heads/clean_up"}