Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
bin/isabelle-process
2008-12-02
wenzelm
removed CVS Id;
file
|
diff
|
annotate
2008-09-04
wenzelm
check WRAPPER_OUTPUT node type;
file
|
diff
|
annotate
2008-08-28
wenzelm
refined option -W: output stream;
file
|
diff
|
annotate
2008-06-14
wenzelm
removed obsolete ML_SUFFIX;
file
|
diff
|
annotate
2007-12-15
wenzelm
non-ML session: run with 'nice', to prevent isabelle process from flooding interactive front-ends (ProofGeneral/XEmacs etc.)
file
|
diff
|
annotate
2007-12-04
wenzelm
replaced option -p by -W (process wrapper);
file
|
diff
|
annotate
2007-11-29
wenzelm
isabelle-process: option -p echos ISABELLE_PID;
file
|
diff
|
annotate
2006-12-04
aspinall
Forward compatibility with new Proof General module.
file
|
diff
|
annotate
2006-10-09
wenzelm
tuned;
file
|
diff
|
annotate
2006-10-09
wenzelm
added option -S (secure mode);
file
|
diff
|
annotate
2005-10-08
wenzelm
support ML_SUFFIX;
file
|
diff
|
annotate
2005-07-19
wenzelm
tuned;
file
|
diff
|
annotate
2005-07-13
aspinall
Add ISABELLE_PID for proof_general.ML
file
|
diff
|
annotate
2005-05-27
aspinall
Add back rudely removed and popular -X option.
file
|
diff
|
annotate
2005-05-17
wenzelm
proper treatment of directory links;
file
|
diff
|
annotate
2005-04-27
gagern
make symlink handling compatible with whitespaces
file
|
diff
|
annotate
2005-04-26
wenzelm
improved handling of symlinks;
file
|
diff
|
annotate
2005-04-21
wenzelm
superceded by Pure.thy and CPure.thy;
file
|
diff
|
annotate
2005-04-20
gagern
removed redundant readlink call
file
|
diff
|
annotate
2005-04-20
quigley
Removed remaining references to Main.thy in reconstruction code.
file
|
diff
|
annotate
2005-04-20
gagern
Allow symlinks to shell scripts
file
|
diff
|
annotate
2004-06-21
kleing
Merged in license change from Isabelle2004
file
|
diff
|
annotate
2004-05-07
aspinall
Add -X option to trigger PGIP interaction mode.
file
|
diff
|
annotate
2001-09-08
wenzelm
smart selection of isabelle-process versus isabelle-interface;
file
|
diff
|
annotate
less
more
(0)
tip