index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
Commit message (
Expand
)
Author
Age
*
Generic help menu for Isabelle and Isabelle/Isar added.
David Aspinall
2000-05-11
*
Moved generic settings to isabelle-system.el. isa-set-default-cmd->isabelle-s...
David Aspinall
2000-05-11
*
Note about desirable additions to Isabelle
David Aspinall
2000-05-09
*
New goal.
David Aspinall
2000-05-09
*
New file
David Aspinall
2000-05-09
*
Merged from 3.1.5
David Aspinall
2000-05-09
*
Comment.
David Aspinall
2000-05-05
*
isa-system.el -> isabelle-system.el
David Aspinall
2000-05-05
*
Renamed file
David Aspinall
2000-05-05
*
Expanded menu
David Aspinall
2000-05-05
*
New code in isa-system.el.
David Aspinall
2000-05-05
*
New file for interfacing with Isabelle system.
David Aspinall
2000-05-05
*
Default to isa-mode or isar-mode according to first one invoked.
David Aspinall
2000-05-05
*
Added proof-assistant-keymap and commands for defining insert keys.
David Aspinall
2000-05-02
*
Added specific menu for Isabelle (early version)
David Aspinall
2000-05-01
*
Revert to indended fix for isa-retract-thy-file.
David Aspinall
2000-04-25
*
fixed isa-retract-thy-file: pass theory name only;
Makarius Wenzel
2000-04-17
*
Tweak to disable_pr function to allow for it being called twice (why?).
David Aspinall
2000-04-07
*
pbp-mode -> goals-mode
David Aspinall
2000-04-07
*
Fixed up proof-shell-proof-completed mess nicely.
David Aspinall
2000-04-07
*
tuned \<bottom>;
Makarius Wenzel
2000-04-06
*
tuned todo stuff;
Makarius Wenzel
2000-04-05
*
improved print_mode switch;
Makarius Wenzel
2000-04-05
*
Added provisional commands for enabling/disabling printing.
David Aspinall
2000-04-04
*
Save as Example.ML, except using X-Symbol input tokens.
David Aspinall
2000-04-04
*
Fix accidently introduced bug with passing full paths to theory loader.
David Aspinall
2000-04-04
*
Removed pg_saved_gl which was for testing.
David Aspinall
2000-03-24
*
Do need to strip drive name as Jacques discovered.
David Aspinall
2000-03-24
*
Fix name of win32-long-file-name used as check.
David Aspinall
2000-03-24
*
Quoted backslashes.
David Aspinall
2000-03-24
*
Sensible default for Windows invoking Isabelle
David Aspinall
2000-03-24
*
Attempt to fix filename mess for Windows.
David Aspinall
2000-03-24
*
Updated Isabelle home page.
David Aspinall
2000-03-23
*
Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...
David Aspinall
2000-03-22
*
Fix other file commands to use %e substitution.
David Aspinall
2000-03-22
*
Use new format character %s to %e to cope with nasty filenames with backslashes.
David Aspinall
2000-03-22
*
transparent cd;
Makarius Wenzel
2000-03-22
*
Added settings for silent control.
David Aspinall
2000-03-19
*
New/updated information files
David Aspinall
2000-03-13
*
Docstrings
David Aspinall
2000-03-10
*
Added menu item to switch to script buffer, C-c C-o key.
David Aspinall
2000-03-10
*
Updated headers.
David Aspinall
2000-03-09
*
Updated
David Aspinall
2000-03-09
*
Added README files for each prover, summarizing status.
David Aspinall
2000-03-09
*
Split low-level todo into several files.
David Aspinall
2000-03-08
*
tuned electric-ignore;
Makarius Wenzel
2000-02-23
*
fix electric-ignore (due to DvO);
Makarius Wenzel
2000-02-15
*
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
*
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
2000-02-10
*
fixed proof-shell-error-regexp;
Makarius Wenzel
2000-02-07
[next]