aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-07-19Variable name change proof-comment-{start,end}-regexp -> ↵David Aspinall
proof-script-comment-{start,end}-regexp.
2002-07-19SpacingDavid Aspinall
2002-07-19Bug in load-isar-keywordsDavid Aspinall
2002-07-19Updated.David Aspinall
2002-07-19Mention fav improvsDavid Aspinall
2002-07-19UpdatedDavid Aspinall
2002-07-19Reduce proof-shell-quite-timeoutDavid Aspinall
2002-07-19Ignore todo.defunctDavid Aspinall
2002-07-19New files.David Aspinall
2002-07-19Add todo to tagsDavid Aspinall
2002-07-19Move imagep compat code to splashDavid Aspinall
2002-07-19Make favourites mechanism more robust; add delete command.David Aspinall
2002-07-19Trivially simulate events-to-keysDavid Aspinall
2002-07-18X-sym bugDavid Aspinall
2002-07-18Add yet more settings X-Sym complains about.David Aspinall
2002-07-18Fix markupDavid Aspinall
2002-07-18Add Tobias suggestion about font sizesDavid Aspinall
2002-07-18Move fileshow code into libDavid Aspinall
2002-07-18Link FAQ.David Aspinall
2002-07-18New files.David Aspinall
2002-07-18UpdateDavid Aspinall
2002-07-18Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.David Aspinall
2002-07-18Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.David Aspinall
2002-07-18Updated.David Aspinall
2002-07-18Fix bug in proof-zap-commas-region (which is anyway faulty)David Aspinall
2002-07-18Record bug as solved.David Aspinall
2002-07-18New files.David Aspinall
2002-07-18Mention how to enable X-Symbol.David Aspinall
2002-07-18Add FAQ about enabling X-Symbol.David Aspinall
2002-07-18Nuke X-sym warningsDavid Aspinall
2002-07-18Remove obsolete functionDavid Aspinall
2002-07-18More testsDavid Aspinall
2002-07-18Use x-symbol-enable switch to see whether to include sub/super/bold flks.David Aspinall
2002-07-18CommentsDavid Aspinall
2002-07-18More comments on current bugsDavid Aspinall
2002-07-18New files.David Aspinall
2002-07-18Fix goals font lock keywords.David Aspinall
2002-07-18CleanupsDavid Aspinall
2002-07-18More on keybindings: include old x-symbol-isabelle bindings but using super.David Aspinall
2002-07-18Updated.David Aspinall
2002-07-18UpdateDavid Aspinall
2002-07-18Link to span.el tooDavid Aspinall
2002-07-18TrivDavid Aspinall
2002-07-18Remove completion table adjustment fixed in X-Symol since Jun 01.David Aspinall
2002-07-18Fix sub/sups; defer loading x-symbol-isabelle.David Aspinall
2002-07-18Add my name to theseDavid Aspinall
2002-07-18Updated.David Aspinall
2002-07-18Try to fix latest linkDavid Aspinall
2002-07-18fix README rename.David Aspinall
2002-07-18Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 05:38:10 +0000