From c72224832e2488b15f8f58d96554e4cf4337460d Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sat, 3 Jan 2015 20:09:06 +0100 Subject: Implementing a segment-viewer in CoqIDE. This allows a nifty display of the current state of the document through a dedicated progress bar. Also closes bug #3764. --- ide/ide.mllib | 1 + 1 file changed, 1 insertion(+) (limited to 'ide/ide.mllib') diff --git a/ide/ide.mllib b/ide/ide.mllib index 944476171..e082bd18c 100644 --- a/ide/ide.mllib +++ b/ide/ide.mllib @@ -9,6 +9,7 @@ Configwin Editable_cells Config_parser Tags +Wg_Segment Wg_Notebook Config_lexer Utf8_convert -- cgit v1.2.3