aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_ScriptView.ml
AgeCommit message (Expand)Author
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 10:26:50 +0000