proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Quick fix to isar-remove-file, see trac #274	David Aspinall	2009-08-31
\|
*	Made customizable holes mode completion in abbreviations.	Pierre Courtieu	2009-08-31
\|
*	Clean up IGNOREDFILES a bit	David Aspinall	2009-08-31
\|
*	Set version tag for new release.	David Aspinall	2009-08-31
\|
*	Fix home	David Aspinall	2009-08-31
\|
*	Tokenize	David Aspinall	2009-08-31
\|
*	Add custom doc	David Aspinall	2009-08-31
\|
*	isar-symbol-shortcuts: add customization	David Aspinall	2009-08-31
\|
*	Remove over-enthusiastic single-character shortcuts	David Aspinall	2009-08-31
\|
*	Attribution	David Aspinall	2009-08-31
\|
*	Disable large symbol font for now	David Aspinall	2009-08-31
\|
*	Support dynamic customization. Add additional shortcuts handy for ↵	David Aspinall	2009-08-30
\| \| \| \|	symbolizing old files.
*	Improve and extend font configuration. Add ↵	David Aspinall	2009-08-30
\| \| \| \|	unicode-tokens-replace-shortcut-match.
*	Cleanup of interactive point moving functions (in progress)	David Aspinall	2009-08-29
\|
*	isar-positions-of: skip whitespace before command start	David Aspinall	2009-08-29
\|
*	isar-nonwrap-regexp: ML should work (note that there are many ML commands);	Makarius Wenzel	2009-08-28
\| \| \| \| \|	added separate isar-string-wrapping; isar-positions-of: isar-string-wrapping of file name -- to make double sure;
*	pg-create-in-span-context-menu: fix nesting	David Aspinall	2009-08-28
\|
*	Fix compile warnings	David Aspinall	2009-08-28
\|
*	Update autoloads	David Aspinall	2009-08-28
\|
*	Move fontsymb properties to library file.	David Aspinall	2009-08-28
\|
*	Add convenience function for profiling	David Aspinall	2009-08-28
\|
*	Add a font	David Aspinall	2009-08-28
\|
*	Extend the available types of controls. Move fontsymb-properties here. ↵	David Aspinall	2009-08-28
\| \| \| \|	Prettify the token table.
*	Doc: pointer to TokensAcid	David Aspinall	2009-08-28
\|
*	Add more commentary and new control examples	David Aspinall	2009-08-28
\|
*	Updated.	David Aspinall	2009-08-28
\|
*	Doc fix	David Aspinall	2009-08-28
\|
*	Disable "Set fontsets" sub menu for new Emacsen	David Aspinall	2009-08-28
\|
*	Attempt to duplicate Dixon bug	David Aspinall	2009-08-28
\|
*	Set version tag for new release.	David Aspinall	2009-08-28
\|
*	Change font-lock-keywords to use our own hacked ↵	David Aspinall	2009-08-28
\| \| \| \| \| \| \| \| \| \|	`unicode-tokens-prepend-text-property' instead of `font-lock-prepend-text-property' which gave ill formed property values for 'face. Still not clear if that function is faulty or usage was not as intended. Anyway, this repairs outstanding merge properties problem so that <bold><italic>foo</italic></bold> works as expected. Also: fix key binding for unicode-tokens-show-controls so is usable.
*	Temporary note of property merging problems	David Aspinall	2009-08-28
\|
*	Property merging now works with tweaks in unicode-tokens	David Aspinall	2009-08-28
\|
*	Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref)	David Aspinall	2009-08-28
\|
*	Clean up and rearrange variable declaration files	David Aspinall	2009-08-28
\|
*	Comments	David Aspinall	2009-08-28
\|
*	Enhanced font setting mechanism: allow a separate font for symbols,	David Aspinall	2009-08-28
\| \| \| \| \|	and add user-level functions to set the configured fonts. unicode-tokens-delete-token-near-point: add this user-level function
*	Add recommendation for DejaVu fonts. Update magic.	David Aspinall	2009-08-25
\|
*	Add menu entry for setting proof assistant command	David Aspinall	2009-08-25
\|
*	less ambitious array operations -- for improved compatibility with older ↵	Makarius Wenzel	2009-08-22
\| \| \| \|	versions of bash;
*	Doc tweaks via checkdoc.	David Aspinall	2009-08-20
\|
*	Doc tweaks via checkdoc.	David Aspinall	2009-08-20
\|
*	proof-one-command-per-line: change default, use in proof-insert-pbp-command.	David Aspinall	2009-08-20
\|
*	Remove spurious junk.	David Aspinall	2009-08-20
\|
*	Documentation improvements.	David Aspinall	2009-08-20
\| \| \| \| \| \|	Experiment with `process-adaptive-read-buffering' Do not run `proof-shell-insert-hook' if input string is empty or single CR.
*	proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywords	David Aspinall	2009-08-20
\|
*	Remove obsolete file mention	David Aspinall	2009-08-20
\|
*	Don't make link to index.html	David Aspinall	2009-08-20
\|
*	proof-shell-insert: add scriptspan argument, to pass source positions to ↵	David Aspinall	2009-08-19
\| \| \| \|	proof-shell-insert-hook
*	Docstrings	David Aspinall	2009-08-19
\|