equal
deleted
inserted
replaced
60 "exit" |
60 "exit" |
61 "extract" |
61 "extract" |
62 "extract_type" |
62 "extract_type" |
63 "finalconsts" |
63 "finalconsts" |
64 "finally" |
64 "finally" |
|
65 "find_theorems" |
65 "fix" |
66 "fix" |
66 "from" |
67 "from" |
67 "full_prf" |
68 "full_prf" |
68 "global" |
69 "global" |
69 "have" |
70 "have" |
249 "cd" |
250 "cd" |
250 "commit" |
251 "commit" |
251 "disable_pr" |
252 "disable_pr" |
252 "display_drafts" |
253 "display_drafts" |
253 "enable_pr" |
254 "enable_pr" |
|
255 "find_theorems" |
254 "full_prf" |
256 "full_prf" |
255 "header" |
257 "header" |
256 "kill_thy" |
258 "kill_thy" |
257 "pr" |
259 "pr" |
258 "pretty_setmargin" |
260 "pretty_setmargin" |