| Fri, 02 May 2014 20:01:45 +0200 |
wenzelm |
prefer scala.Console with its support for thread-local redirection;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 14:50:40 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 12:30:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 05 Apr 2014 19:16:16 +0200 |
wenzelm |
tuned error;
|
file |
diff |
annotate
|
| Sat, 05 Apr 2014 19:07:05 +0200 |
wenzelm |
proper settings instead of hard-wired information;
|
file |
diff |
annotate
|
| Sat, 05 Apr 2014 18:52:03 +0200 |
wenzelm |
explicit indication of important doc sections ("!"), which are expanded in the tree view;
|
file |
diff |
annotate
|
| Sat, 05 Apr 2014 18:14:54 +0200 |
wenzelm |
clarified Doc entry: more explicit path;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 14:52:35 +0100 |
wenzelm |
some SML examples;
|
file |
diff |
annotate
|
| Sat, 07 Dec 2013 13:10:56 +0100 |
wenzelm |
more direct Isabelle_System.pdf_viewer;
|
file |
diff |
annotate
|
| Thu, 26 Sep 2013 22:34:43 +0200 |
wenzelm |
added Isabelle/ML example;
|
file |
diff |
annotate
|
| Sat, 21 Sep 2013 19:48:46 +0200 |
wenzelm |
immediate access to some elementary examples;
|
file |
diff |
annotate
|
| Sat, 27 Jul 2013 21:01:35 +0200 |
wenzelm |
documentation is always in PDF;
|
file |
diff |
annotate
|
| Sat, 06 Jul 2013 22:11:18 +0200 |
wenzelm |
more release notes according to availability in proper release vs. repository clone;
|
file |
diff |
annotate
|
| Sat, 06 Jul 2013 21:51:35 +0200 |
wenzelm |
quick access to release notes (imitating website/documentation.html);
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 19:25:40 +0200 |
wenzelm |
clarified ISABELLE_DOC_FORMAT -- eliminated slightly odd fall-back;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 12:17:19 +0200 |
wenzelm |
slightly improved "isabelle doc" based on Isabelle/Scala;
|
file |
diff |
annotate
| base
|