From 09d13ea251ba9f271fd698edd0d6560b88996a65 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 29 Sep 2014 22:15:01 +0200 Subject: XML pretty printing for AST (work by François Poulain, project DoCoq) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit It is not 100% complete, but the main part is there. --- stm/stm.mllib | 1 + 1 file changed, 1 insertion(+) (limited to 'stm/stm.mllib') diff --git a/stm/stm.mllib b/stm/stm.mllib index 28f097780..2b5ff8c04 100644 --- a/stm/stm.mllib +++ b/stm/stm.mllib @@ -7,5 +7,6 @@ Vernac_classifier Lemmas CoqworkmgrApi AsyncTaskQueue +Texmacspp Stm Vi_checking -- cgit v1.2.3