aboutsummaryrefslogtreecommitdiff
path: root/plastic
AgeCommit message (Expand)Author
2010-08-25Renamed from plastic/plastic.el to obsolete/plastic/plastic.elDavid Aspinall
2010-08-25Renamed from plastic/README to obsolete/plastic/READMEDavid Aspinall
2010-08-25Renamed from plastic/plastic-syntax.el to obsolete/plastic/plastic-syntax.elDavid Aspinall
2010-08-25Renamed from plastic/test.lf to obsolete/plastic/test.lfDavid Aspinall
2010-07-01plastic-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidDavid Aspinall
2009-09-28Functions find-and-forget and count-undos now return lists of commandsDavid Aspinall
2009-09-28Update docsDavid Aspinall
2009-09-15Prevent compile warningDavid Aspinall
2009-09-10Clean compile and update configDavid Aspinall
2009-09-09p-s-classify-output -> p-s-handle-output, and simplify system-specific hookDavid Aspinall
2009-09-08Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...David Aspinall
2009-09-06Configuration changes for shell mode revision.David Aspinall
2009-09-06Remove proof-shell-wakeup-charDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-08-14Rename proof-shell-process-output -> proof-shell-classify-outputDavid Aspinall
2009-05-26Fix headerDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-17Updated.David Aspinall
2008-01-17Updated keybinding syntaxDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-13Deleted fileDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
2006-01-27Fix from PaulDavid Aspinall
2005-08-14Fix plastic-shell-adjust-line-width for mutliple frame mode.David Aspinall
2004-05-07Fix for GNU EmacsDavid Aspinall
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2002-08-29Fix calls on proof-defshortcutDavid Aspinall
2002-08-28Fix interactive posnDavid Aspinall
2002-08-07Update from PC, sent 5.8.02David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2000-06-09Removed spurious requires.David Aspinall
2000-06-08adapted to new indentation setup;Makarius Wenzel
2000-05-29Fixed define-key calls. Set useful default for plastic prog nameDavid Aspinall
2000-05-26fixed error in test.lfPaul Callaghan
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
1999-11-17Fix several bugs caused by interface changes.David Aspinall
1999-11-15Change name of proof-execute-minibufer-cmd.David Aspinall
1999-11-15Removed proof-try-command.David Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 12:57:07 +0000