index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
Commit message (
Expand
)
Author
Age
*
improved proof-shell-error-regexp;
Makarius Wenzel
1999-10-29
*
(try_)context_thy_only;
Makarius Wenzel
1999-10-27
*
tuned proof-shell-error-regexp;
Makarius Wenzel
1999-10-26
*
ProofGeneral.kill_proof: clears goals buffer;
Makarius Wenzel
1999-10-26
*
replaced remove_thy by kill_thy (more robust);
Makarius Wenzel
1999-10-26
*
added kill_thy, touch_child_thys;
Makarius Wenzel
1999-10-26
*
isar-remove-file: compare basenames only;
Makarius Wenzel
1999-10-22
*
Changed name of proof-shell-cd-cmd for uniformity.
David Aspinall
1999-10-21
*
theory loader actions now that of PG/isa;
Makarius Wenzel
1999-10-20
*
added ML_command;
Makarius Wenzel
1999-10-20
*
added isar-detect-header;
Makarius Wenzel
1999-10-19
*
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.
David Aspinall
1999-10-19
*
let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;
Makarius Wenzel
1999-10-15
*
renamed verbatim/verb to text_raw/txt_raw;
Makarius Wenzel
1999-10-14
*
proof-shell-cd: isar-verbatim no longer required;
Makarius Wenzel
1999-10-07
*
replaced "clear_undo" to "clear_undos";
Makarius Wenzel
1999-10-07
*
Made new command proof-cd to cd to the directory of the current
David Aspinall
1999-10-06
*
Fixed proof-showproof-command
David Aspinall
1999-10-06
*
isar-keywords-proof-asm-goal;
Makarius Wenzel
1999-10-01
*
Renamed some configuration variables for uniformity, see CHANGES.
David Aspinall
1999-10-01
*
replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;
Makarius Wenzel
1999-09-30
*
proof-find-theorems-command "thms_containing %s;";
Makarius Wenzel
1999-09-30
*
added isar-verbatim;
Makarius Wenzel
1999-09-26
*
added thms_containing, ML_setup;
Makarius Wenzel
1999-09-26
*
proof-shell-proof-completed-regexp nil;
Makarius Wenzel
1999-09-25
*
Isabelle term / type hiliting;
Makarius Wenzel
1999-09-24
*
tuned;
Makarius Wenzel
1999-09-24
*
unified example with other proof assistants;
Makarius Wenzel
1999-09-24
*
lemma and_comms;
Makarius Wenzel
1999-09-21
*
proof-shell-restart-cmd: include welcome;
Makarius Wenzel
1999-09-03
*
usage: tell PROOFGENERAL_OPTIONS;
Makarius Wenzel
1999-09-03
*
fixed isar-find-and-forget (proper handling of multiple undos);
Makarius Wenzel
1999-08-29
*
tuned;
Makarius Wenzel
1999-08-29
*
isar-response-mode;
Makarius Wenzel
1999-08-24
*
some output syntax;
Makarius Wenzel
1999-08-24
*
font-lock-function-face -> font-lock-function-name-face
David Aspinall
1999-08-23
*
print_context;
Makarius Wenzel
1999-08-23
*
print_context;
Makarius Wenzel
1999-08-20
*
tuned;
Makarius Wenzel
1999-08-18
*
proof-shell-start-goals-regexp: include \n;
Makarius Wenzel
1999-08-18
*
deactivated isar-font-lock-terms (currently useless);
Makarius Wenzel
1999-08-18
*
replaced 'ProofGeneral' by 'Proof General';
Makarius Wenzel
1999-08-18
*
disable_pr, enable_pr;
Makarius Wenzel
1999-08-16
*
updated;
Makarius Wenzel
1999-08-03
*
removed obsolete stuff stemming from isa.el;
Makarius Wenzel
1999-07-29
*
fixed proof-goal-command;
Makarius Wenzel
1999-07-28
*
fixed Id;
Makarius Wenzel
1999-07-28
*
pretty_setmargin;
Makarius Wenzel
1999-07-28
*
isar-init-syntax-table now in isar-syntax.el;
Makarius Wenzel
1999-07-27
*
isar-name-regexp: group result;
Makarius Wenzel
1999-07-27
[next]