| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-12-30 | fixed isar-keywords-local-goal-regexp; | Makarius Wenzel | |
| 1999-11-22 | tuned faces; | Makarius Wenzel | |
| 1999-11-18 | Typo. | David Aspinall | |
| 1999-11-17 | cleaned; | Makarius Wenzel | |
| 1999-11-17 | Comment out some obsolete/unecessary stuff. Add X-Symbol support | David Aspinall | |
| 1999-11-17 | Support for X-Symbol | David Aspinall | |
| 1999-11-10 | fixed indentation bug: use proof-looking-at (proof-case-fold-search); | Makarius Wenzel | |
| 1999-10-29 | improved proof-shell-error-regexp; | Makarius Wenzel | |
| 1999-10-27 | (try_)context_thy_only; | Makarius Wenzel | |
| 1999-10-26 | tuned proof-shell-error-regexp; | Makarius Wenzel | |
| 1999-10-26 | ProofGeneral.kill_proof: clears goals buffer; | Makarius Wenzel | |
| ProofGeneral.restart; ProofGeneral.inform_file_processed/retracted; improved proof-shell-compute-new-files-list (more robust); | |||
| 1999-10-26 | replaced remove_thy by kill_thy (more robust); | Makarius Wenzel | |
| 1999-10-26 | added kill_thy, touch_child_thys; | Makarius Wenzel | |
| internal ProofGeneral commands; | |||
| 1999-10-22 | isar-remove-file: compare basenames only; | Makarius Wenzel | |
| 1999-10-21 | Changed name of proof-shell-cd-cmd for uniformity. | David Aspinall | |
| 1999-10-20 | theory loader actions now that of PG/isa; | Makarius Wenzel | |
| 1999-10-20 | added ML_command; | Makarius Wenzel | |
| 1999-10-19 | added isar-detect-header; | Makarius Wenzel | |
| tuned; | |||
| 1999-10-19 | Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. | David Aspinall | |
| 1999-10-15 | let PROOFGENERAL_ASSISTANTS control isa vs. isar selection; | Makarius Wenzel | |
| 1999-10-14 | renamed verbatim/verb to text_raw/txt_raw; | Makarius Wenzel | |
| 1999-10-07 | proof-shell-cd: isar-verbatim no longer required; | Makarius Wenzel | |
| 1999-10-07 | replaced "clear_undo" to "clear_undos"; | Makarius Wenzel | |
| replaced "title" by "header"; added "verbatim", "verb"; | |||
| 1999-10-06 | Made new command proof-cd to cd to the directory of the current | David Aspinall | |
| buffer. Added a version of it to proof-activate-scripting-hook. Removed cd from initialization sequence. Changed prover specifics accordingly. | |||
| 1999-10-06 | Fixed proof-showproof-command | David Aspinall | |
| 1999-10-01 | isar-keywords-proof-asm-goal; | Makarius Wenzel | |
| 1999-10-01 | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | |
| 1999-09-30 | 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 | |
| proof-shell-leave-annotations-in-output t; replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1; | |||
| 1999-09-26 | added isar-verbatim; | Makarius Wenzel | |
| 1999-09-26 | added thms_containing, ML_setup; | Makarius Wenzel | |
| 1999-09-25 | proof-shell-proof-completed-regexp nil; | Makarius Wenzel | |
| 1999-09-24 | 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-21 | lemma and_comms; | Makarius Wenzel | |
| 1999-09-03 | proof-shell-restart-cmd: include welcome; | Makarius Wenzel | |
| 1999-09-03 | usage: tell PROOFGENERAL_OPTIONS; | Makarius Wenzel | |
| -u true by default; | |||
| 1999-08-29 | fixed isar-find-and-forget (proper handling of multiple undos); | Makarius Wenzel | |
| 1999-08-29 | tuned; | Makarius Wenzel | |
| 1999-08-24 | isar-response-mode; | Makarius Wenzel | |
| 1999-08-24 | some output syntax; | Makarius Wenzel | |
| 1999-08-23 | font-lock-function-face -> font-lock-function-name-face | David Aspinall | |
| 1999-08-23 | print_context; | Makarius Wenzel | |
| 1999-08-20 | print_context; | Makarius Wenzel | |
| fixed proof-shell-interrupt-regexp; | |||
| 1999-08-18 | 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-16 | disable_pr, enable_pr; | Makarius Wenzel | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |