4 Commits

Author	SHA1	Message	Date
Pierre Boutillier	140bd6b1ca	Tezos is now Open Source	2018-06-30 17:41:32 +02:00
Grégoire Henry	5fff7b3c1b	Alpha: rename Tezos_context -> Alpha_context	2018-02-12 16:56:59 +01:00
Grégoire Henry	575e367026	Update copyright notice (2018)	2018-02-05 23:34:05 +01:00
Grégoire Henry	fda8b4ee5f	Refactor: rename prota_alpha/lib_proto	2018-01-30 10:13:40 +01:00