equal
deleted
inserted
replaced
65 "exit" |
65 "exit" |
66 "extract" |
66 "extract" |
67 "extract_type" |
67 "extract_type" |
68 "finalconsts" |
68 "finalconsts" |
69 "finally" |
69 "finally" |
|
70 "find_theorems" |
70 "fix" |
71 "fix" |
71 "fixpat" |
72 "fixpat" |
72 "fixrec" |
73 "fixrec" |
73 "from" |
74 "from" |
74 "full_prf" |
75 "full_prf" |
280 "cd" |
281 "cd" |
281 "commit" |
282 "commit" |
282 "disable_pr" |
283 "disable_pr" |
283 "display_drafts" |
284 "display_drafts" |
284 "enable_pr" |
285 "enable_pr" |
|
286 "find_theorems" |
285 "full_prf" |
287 "full_prf" |
286 "header" |
288 "header" |
287 "kill_thy" |
289 "kill_thy" |
288 "pr" |
290 "pr" |
289 "pretty_setmargin" |
291 "pretty_setmargin" |