ltac2-tutorial icon indicating copy to clipboard operation
ltac2-tutorial copied to clipboard
verified publisher icon tchajed

typos and small improvement

Open ybertot opened this issue 5 years ago • 0 comments

ybertot avatar Oct 15 '20 14:10 ybertot