From 1d0eb5d4d6fea88abc29798ee2004b2e27e952c6 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Wed, 8 Mar 2017 03:22:22 +0100 Subject: [camlpX] Remove camlp4 compat layer. We remove the camlp4 compatibility layer, and try to clean up most structures. `parsing/compat` is gone. We added some documentation to the lexer/parser interfaces that are often obscured by module includes. --- .gitignore | 1 - 1 file changed, 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 64c49b008..371136fc7 100644 --- a/.gitignore +++ b/.gitignore @@ -121,7 +121,6 @@ ide/xml_lexer.ml g_*.ml ide/project_file.ml -parsing/compat.ml parsing/cLexer.ml plugins/ltac/coretactics.ml plugins/ltac/extratactics.ml -- cgit v1.2.3