| Tue, 03 May 2011 22:27:32 +0200 |
wenzelm |
more conventional naming scheme: names_long, names_short, names_unique;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 13:48:45 +0200 |
wenzelm |
Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 15:48:14 +0200 |
wenzelm |
discontinued special status of structure Printer;
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 00:48:07 +0200 |
wenzelm |
turned show_question_marks into proper configuration option;
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 14:07:09 +0200 |
wenzelm |
expanded some aliases from structure Unsynchronized;
|
file |
diff |
annotate
|
| Wed, 14 Apr 2010 17:50:22 +0200 |
krauss |
advertise [rename_abs] attribute in LaTeXsugar -- wish I had known about this earier.
|
file |
diff |
annotate
|
| Wed, 13 Jan 2010 09:02:47 +0100 |
haftmann |
import of antiquote_setup not necessary
|
file |
diff |
annotate
|
| Tue, 12 Jan 2010 13:36:01 +0100 |
wenzelm |
recovered subscript (cf. ded5b770ec1c);
|
file |
diff |
annotate
|
| Tue, 12 Jan 2010 09:59:45 +0100 |
haftmann |
formal antiquotations for ML snippets; no "open" unsynchronized references
|
file |
diff |
annotate
|
| Thu, 29 Oct 2009 15:47:03 +0100 |
nipkow |
small fixes
|
file |
diff |
annotate
|
| Fri, 09 Oct 2009 10:00:47 +0200 |
haftmann |
term styles also cover antiquotations term_type and typeof
|
file |
diff |
annotate
|
| Thu, 08 Oct 2009 15:16:13 +0200 |
haftmann |
new generalized concept for term styles
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:04:44 +0200 |
wenzelm |
explicitly Unsynchronized;
|
file |
diff |
annotate
|
| Fri, 13 Mar 2009 12:32:29 +0100 |
nipkow |
hiding numeric coercions in LaTeX
|
file |
diff |
annotate
|
| Mon, 28 Jul 2008 20:49:07 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Sun, 08 Jun 2008 14:30:46 +0200 |
wenzelm |
minor typos;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2007 15:56:19 +0200 |
nipkow |
explained \isatstyle(minor)
|
file |
diff |
annotate
|
| Fri, 31 Aug 2007 12:24:00 +0200 |
nipkow |
added short_names explanation
|
file |
diff |
annotate
|
| Sun, 06 May 2007 13:33:01 +0200 |
nipkow |
added test about "set" supression
|
file |
diff |
annotate
|
| Fri, 16 Feb 2007 11:01:16 +0100 |
schirmer |
added example for print-mode Axiom
|
file |
diff |
annotate
|
| Mon, 27 Nov 2006 17:13:10 +0100 |
webertj |
typo fixed
|
file |
diff |
annotate
|
| Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2005 18:38:59 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 19 Aug 2005 09:29:58 +0200 |
nipkow |
ML_idf -> ML
|
file |
diff |
annotate
|
| Mon, 08 Aug 2005 09:29:16 +0200 |
haftmann |
added hint for position of aqu options in connection with styles
|
file |
diff |
annotate
|
| Wed, 15 Jun 2005 09:01:15 +0200 |
nipkow |
documented DUMMY
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 19:40:15 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 10:52:17 +0200 |
haftmann |
renamed premise* to prem
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 10:40:51 +0200 |
haftmann |
some refinements
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 10:30:07 +0200 |
haftmann |
concl antiqutations
|
file |
diff |
annotate
|
| Tue, 31 May 2005 12:36:01 +0200 |
nipkow |
fixed sectioning
|
file |
diff |
annotate
|
| Tue, 31 May 2005 12:16:24 +0200 |
nipkow |
\nexists und premsise1 .. 9
|
file |
diff |
annotate
|
| Wed, 25 May 2005 11:14:59 +0200 |
kleing |
tuned thm_style section
|
file |
diff |
annotate
|
| Wed, 25 May 2005 10:51:42 +0200 |
nipkow |
added ? explanations
|
file |
diff |
annotate
|
| Tue, 24 May 2005 14:28:59 +0200 |
haftmann |
ML_idf antiquotation
|
file |
diff |
annotate
|
| Mon, 23 May 2005 10:49:25 +0200 |
haftmann |
some adaptions
|
file |
diff |
annotate
|
| Tue, 17 May 2005 18:10:36 +0200 |
wenzelm |
renamed show_var_qmarks to show_question_marks;
|
file |
diff |
annotate
|
| Sat, 14 May 2005 21:31:13 +0200 |
haftmann |
added Proof.context to antiquotation
|
file |
diff |
annotate
|
| Thu, 12 May 2005 09:45:54 +0200 |
nipkow |
fixed a few things and added Haftmann as author
|
file |
diff |
annotate
|
| Tue, 03 May 2005 10:32:32 +0200 |
haftmann |
Added short description of thm_style and term_style antiquotation
|
file |
diff |
annotate
|
| Sun, 10 Apr 2005 11:41:29 +0200 |
nipkow |
section on qmark
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 09:28:16 +0200 |
wenzelm |
added term_8;
|
file |
diff |
annotate
|
| Thu, 03 Feb 2005 03:33:55 +0100 |
kleing |
Document now applies to devel version (and Isabelle 2005)
|
file |
diff |
annotate
|
| Wed, 26 Jan 2005 17:34:42 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Thu, 06 Jan 2005 05:15:26 +0100 |
kleing |
suggestions by Jeremy Siek
|
file |
diff |
annotate
|
| Wed, 08 Dec 2004 07:50:27 +0100 |
kleing |
improvements by Larry and Micheal Wahler
|
file |
diff |
annotate
|
| Tue, 07 Dec 2004 12:13:17 +0100 |
kleing |
link to tar.gz
|
file |
diff |
annotate
|
| Mon, 06 Dec 2004 01:06:22 +0100 |
kleing |
fixed typos
|
file |
diff |
annotate
|
| Fri, 03 Dec 2004 12:52:24 +0100 |
kleing |
tuned
|
file |
diff |
annotate
|
| Fri, 03 Dec 2004 07:27:48 +0100 |
kleing |
fixed typo
|
file |
diff |
annotate
|
| Fri, 03 Dec 2004 07:23:19 +0100 |
kleing |
more sugar
|
file |
diff |
annotate
|
| Mon, 29 Nov 2004 18:49:35 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 29 Nov 2004 11:12:19 +0100 |
nipkow |
New
|
file |
diff |
annotate
|