index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
plastic
Commit message (
Expand
)
Author
Age
*
Renamed from plastic/plastic-syntax.el to obsolete/plastic/plastic-syntax.el
David Aspinall
2010-08-25
*
Renamed from plastic/test.lf to obsolete/plastic/test.lf
David Aspinall
2010-08-25
*
plastic-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid
David Aspinall
2010-07-01
*
Functions find-and-forget and count-undos now return lists of commands
David Aspinall
2009-09-28
*
Update docs
David Aspinall
2009-09-28
*
Prevent compile warning
David Aspinall
2009-09-15
*
Clean compile and update config
David Aspinall
2009-09-10
*
p-s-classify-output -> p-s-handle-output, and simplify system-specific hook
David Aspinall
2009-09-09
*
Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...
David Aspinall
2009-09-08
*
Configuration changes for shell mode revision.
David Aspinall
2009-09-06
*
Remove proof-shell-wakeup-char
David Aspinall
2009-09-06
*
Clean whitespace
David Aspinall
2009-09-05
*
replace-in-string -> replace-regexp-in-string
David Aspinall
2009-09-04
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
Rename proof-shell-process-output -> proof-shell-classify-output
David Aspinall
2009-08-14
*
Fix header
David Aspinall
2009-05-26
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Updated.
David Aspinall
2008-02-17
*
Updated keybinding syntax
David Aspinall
2008-01-17
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Deleted file
David Aspinall
2007-12-13
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Changed the type of proof-goal-command-p. It takes now a span, which
Pierre Courtieu
2006-04-26
*
Fix from Paul
David Aspinall
2006-01-27
*
Fix plastic-shell-adjust-line-width for mutliple frame mode.
David Aspinall
2005-08-14
*
Fix for GNU Emacs
David Aspinall
2004-05-07
*
Make find-and-forget robust for proverproc regions
David Aspinall
2003-06-05
*
Fix some compile errors
David Aspinall
2003-02-24
*
Fix calls on proof-defshortcut
David Aspinall
2002-08-29
*
Fix interactive posn
David Aspinall
2002-08-28
*
Update from PC, sent 5.8.02
David Aspinall
2002-08-07
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Add specific install instrs, rearrange.
David Aspinall
2001-09-03
*
Removed spurious requires.
David Aspinall
2000-06-09
*
adapted to new indentation setup;
Makarius Wenzel
2000-06-08
*
Fixed define-key calls. Set useful default for plastic prog name
David Aspinall
2000-05-29
*
fixed error in test.lf
Paul Callaghan
2000-05-26
*
Added proof-assistant-keymap and commands for defining insert keys.
David Aspinall
2000-05-02
*
pbp-mode -> goals-mode
David Aspinall
2000-04-07
*
Fixed up proof-shell-proof-completed mess nicely.
David Aspinall
2000-04-07
*
New/updated information files
David Aspinall
2000-03-13
*
Fixes for short output duplication problem: set proof-shell-eager-annotation-...
David Aspinall
2000-01-06
*
proof-shell-done-invisible -> proof-done-invisible again
David Aspinall
1999-11-22
*
Fix several bugs caused by interface changes.
David Aspinall
1999-11-17
*
Change name of proof-execute-minibufer-cmd.
David Aspinall
1999-11-15
*
Removed proof-try-command.
David Aspinall
1999-11-15
*
Many robustness improvements for error and interrupt handling:
David Aspinall
1999-11-14
*
Set font-lock-keywords before calling proof-config-done.
David Aspinall
1999-11-12
*
small changes to plastic mode
Paul Callaghan
1999-11-11
[next]