path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
Storage/tla/Storage.tla	156	1	2200	2200	1	1	2019-05-06	2019-05-06	andrey.ershov@elastic.co	andrey.ershov@elastic.co
Storage/tla/Storage.toolbox/Storage___model.launch	50	1	2200	2200	1	1	2019-05-06	2019-05-06	andrey.ershov@elastic.co	andrey.ershov@elastic.co
data/tla/replication.toolbox/replication___model.launch	62	1	2729	2729	1	1	2017-11-23	2017-11-23	yannick@welsch.lu	yannick@welsch.lu
data/tla/replication.tla	727	2	2729	2430	2	2	2017-11-23	2018-09-18	yannick@welsch.lu	andrershov@gmail.com
ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine___model.launch	60	1	2604	2604	1	1	2018-03-28	2018-03-28	david.turner@elastic.co	david.turner@elastic.co
ReplicaEngine/tla/ReplicaEngine.tla	883	1	2604	2604	2	1	2018-03-28	2018-03-28	david.turner@elastic.co	david.turner@elastic.co
cluster/tla/consensus.tla	289	4	2729	2682	6	1	2017-11-23	2018-01-09	yannick@welsch.lu	yannick@welsch.lu
cluster/tla/consensus.toolbox/consensus___model.launch	62	2	2729	2682	2	1	2017-11-23	2018-01-09	yannick@welsch.lu	yannick@welsch.lu
cluster/isabelle/document/root.tex	45	1	2728	2728	1	1	2017-11-24	2017-11-24	david.turner@elastic.co	david.turner@elastic.co
cluster/isabelle/Implementation.thy	314	8	2728	2683	10	1	2017-11-24	2018-01-08	david.turner@elastic.co	david.turner@elastic.co
cluster/isabelle/OneSlot.thy	102	2	2728	2710	2	1	2017-11-24	2017-12-12	david.turner@elastic.co	david.turner@elastic.co
cluster/isabelle/Monadic.thy	678	9	2728	2683	15	1	2017-11-24	2018-01-08	david.turner@elastic.co	david.turner@elastic.co
cluster/isabelle/Zen.thy	2866	8	2728	2683	11	1	2017-11-24	2018-01-08	david.turner@elastic.co	david.turner@elastic.co
cluster/isabelle/Preliminaries.thy	123	2	2728	2710	2	1	2017-11-24	2017-12-12	david.turner@elastic.co	david.turner@elastic.co
ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch	65	6	2596	2322	6	2	2018-04-05	2019-01-04	yannick@welsch.lu	david.turner@elastic.co
ZenWithTerms/tla/ZenWithTerms.tla	326	8	2596	2322	8	2	2018-04-05	2019-01-04	yannick@welsch.lu	david.turner@elastic.co