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
.
lib/scripts/isa-xterm
2000-03-28
wenzelm
-I option;
file
|
diff
|
annotate
1999-09-03
wenzelm
usage: tell current OPTIONS value;
file
|
diff
|
annotate
1999-08-17
wenzelm
PASS(_MODE): works better without space (why?);
file
|
diff
|
annotate
1999-08-16
wenzelm
-m option;
file
|
diff
|
annotate
1999-03-10
wenzelm
-x option;
file
|
diff
|
annotate
1999-02-11
wenzelm
-m isabelle_font;
file
|
diff
|
annotate
1998-11-25
wenzelm
eliminated ISABELLE_INTERFACE_OPTIONS;
file
|
diff
|
annotate
1997-04-22
wenzelm
removed -norc;
file
|
diff
|
annotate
1997-03-11
wenzelm
tuned comments;
file
|
diff
|
annotate
1997-03-07
wenzelm
renamed font;
file
|
diff
|
annotate
1997-03-07
wenzelm
tuned;
file
|
diff
|
annotate
1997-03-03
wenzelm
removed bash debug;
file
|
diff
|
annotate
1997-03-03
wenzelm
removed -r option;
file
|
diff
|
annotate
1997-02-28
wenzelm
now uses -m symbols;
file
|
diff
|
annotate
1997-02-14
wenzelm
improved interface options;
file
|
diff
|
annotate
1997-01-07
wenzelm
minor tuning;
file
|
diff
|
annotate
1996-12-17
wenzelm
now refers to absolute paths of binaries;
file
|
diff
|
annotate
1996-12-09
wenzelm
added -norc option;
file
|
diff
|
annotate
1996-12-04
wenzelm
changed font menu;
file
|
diff
|
annotate
1996-12-04
wenzelm
*** empty log message ***
file
|
diff
|
annotate
1996-12-02
wenzelm
isa-xterm: Isabelle within an xterm.
file
|
diff
|
annotate
less
more
(0)
tip