2 Commits

Author	SHA1	Message	Date
Danila Fedorin	d72e64c7f9	Fix Ltac2 bug in Dawn file	2021-11-27 23:13:08 -08:00
Danila Fedorin	c214d9ee37	Add the initial version of the Dawn article.	2021-11-20 23:21:03 -08:00