Sun, 12 May 2013 20:25:45 +0200 |
wenzelm |
some system options as context-sensitive config options;
|
file |
diff |
annotate
|
Mon, 30 May 2011 17:07:48 +0200 |
krauss |
generic ScgiServer.simple_handler
|
file |
diff |
annotate
|
Mon, 30 May 2011 17:07:48 +0200 |
krauss |
moved html templates to a separate module, making their awkward signatures explicit
|
file |
diff |
annotate
|
Mon, 30 May 2011 17:07:48 +0200 |
krauss |
attempt to clarify code; removed "handle _" and dead code
|
file |
diff |
annotate
|
Mon, 30 May 2011 17:07:48 +0200 |
krauss |
exported raw query parser; removed inconsistent clone
|
file |
diff |
annotate
|
Mon, 30 May 2011 17:07:48 +0200 |
krauss |
separate query parsing from actual search
|
file |
diff |
annotate
|
Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
Fri, 08 Apr 2011 15:48:14 +0200 |
wenzelm |
discontinued special status of structure Printer;
|
file |
diff |
annotate
|
Wed, 12 Jan 2011 15:15:51 +0100 |
wenzelm |
more FIXMEs concerning bad catch-all exception handlers;
|
file |
diff |
annotate
|
Mon, 10 Jan 2011 15:45:46 +0100 |
wenzelm |
eliminated Int.toString;
|
file |
diff |
annotate
|
Thu, 02 Sep 2010 00:48:07 +0200 |
wenzelm |
turned show_question_marks into proper configuration option;
|
file |
diff |
annotate
|
Tue, 20 Jul 2010 23:09:49 +0200 |
wenzelm |
discontinued pervasive val theory = Thy_Info.get_theory -- prefer antiquotations in most situations;
|
file |
diff |
annotate
|
Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
Mon, 17 May 2010 23:54:15 +0200 |
wenzelm |
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
|
file |
diff |
annotate
|
Mon, 17 May 2010 15:11:25 +0200 |
wenzelm |
renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
|
file |
diff |
annotate
|
Sat, 08 May 2010 19:14:13 +0200 |
wenzelm |
unified/simplified Pretty.margin_default;
|
file |
diff |
annotate
|
Mon, 03 May 2010 14:25:56 +0200 |
wenzelm |
renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing;
|
file |
diff |
annotate
|
Fri, 20 Nov 2009 16:08:14 +0100 |
wenzelm |
standardized headers;
|
file |
diff |
annotate
|
Fri, 20 Nov 2009 18:36:44 +1100 |
kleing |
WWW_Find component: find_theorems via web browser
|
file |
diff |
annotate
|