040000 tree 260669cc3a5d6cc5fdaa8f1cd6511aada187e2a1	birt
100644 blob e26fec758d0ca7779d5081f5bc957c8142567440	default_style.css
100644 blob 82b1faf1e5d26b7f090e420a930f0ade4041ff99	draft_style.css
100644 blob 139e35a7bcd897bf75287b8aa9af443f9fb72afa	external.gif
100644 blob 75d5fb80fa747be928171eab57fa6137bcd0c86c	main.html
040000 tree f74d12b09927266d004fb2970cf4a7bec9a050f1	platform
040000 tree 0bc7426cddbb31cad69f73818ac1cf97c42ab3c3	tools
040000 tree 4152891fed150689e5ae5d16be982db897a7e54e	tptp
040000 tree d40d4c0d1d84e137cf888369925dbc8c9626b467	wtp