aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-11-15Reorganization and cleanup of key-bindings.David Aspinall
1999-11-15Added proof-splash-message.David Aspinall
1999-11-15Fix for FSF Emacs. Added timeout arg to proof-shell-wait.David Aspinall
1999-11-15Added in-testing messageDavid Aspinall
1999-11-15Removed font-lock settings. Set proof-font-lock-zap-commas=tDavid Aspinall
1999-11-15UpdatedDavid Aspinall
1999-11-15Tuned splash screen for FSF emacs. Added proof-font-lock-zap-commasDavid Aspinall
1999-11-14Fixes for proof-goto-commmand-{end,start}. Former new functionDavid Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
1999-11-14docstringDavid Aspinall
1999-11-14More highlightingDavid Aspinall
1999-11-14UpdatedDavid Aspinall
1999-11-14devel.clean : use find to clean all subdirs.David Aspinall
1999-11-14Fix to docstring magic (allow spaces after symbol).David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
1999-11-14Add demoisa dir to makefiles.David Aspinall
1999-11-13Beginnings of improved version of goal..no save regions.David Aspinall
1999-11-13UpdatedDavid Aspinall
1999-11-13clean: Remove autosaves and cvs server temporary files.David Aspinall
1999-11-13commentsDavid Aspinall
1999-11-13Experiment with X-Symbol support for Coq.David Aspinall
1999-11-13Call proof-goals-config-done properly.David Aspinall
1999-11-13Use infix syntaxDavid Aspinall
1999-11-13Test caseDavid Aspinall
1999-11-13Added example instantiation demoisaDavid Aspinall
1999-11-13Added new face for debug messagesDavid Aspinall
1999-11-13Updates and improvementsDavid Aspinall
1999-11-12Notes about font-lock management.David Aspinall
1999-11-12Documentation improvementsDavid Aspinall
1999-11-12More theory file sectionsDavid Aspinall
1999-11-12Fixes for Isabelle in case theory file is visited before script file.David Aspinall
1999-11-12Document variables before functions in case of name clash.David Aspinall
1999-11-12Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class ...David Aspinall
1999-11-12Set font-lock-keywords before calling proof-config-done.David Aspinall
1999-11-12Made display table stuff interactive.David Aspinall
1999-11-12Changed colour of proof-locked-faceDavid Aspinall
1999-11-12Fix for automode listDavid Aspinall
1999-11-12Typo in x-symbol enableDavid Aspinall
1999-11-12Typo in x-symbol enableDavid Aspinall
1999-11-12Set version tag for new release.David Aspinall
1999-11-12added nohup.outDavid Aspinall
1999-11-12UpdatedDavid Aspinall
1999-11-12Display qed message in goals bufferDavid Aspinall
1999-11-12Fixes for response buffer display, x-symbol, output formatting.David Aspinall
1999-11-12New testing filesDavid Aspinall
1999-11-11UpdatedDavid Aspinall
1999-11-11Attempted x-symbol improvementsDavid Aspinall
1999-11-11Added option for sending qed output to goals buffer for IsabelleDavid Aspinall
1999-11-11Improved documentation, more options addedDavid Aspinall
1999-11-11small changes to plastic modePaul Callaghan
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 10:55:51 +0000