| 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, 27 Aug 2010 14:07:09 +0200 |
wenzelm |
expanded some aliases from structure Unsynchronized;
|
file |
diff |
annotate
|
| Mon, 26 Oct 2009 12:02:06 +0100 |
wenzelm |
removed unnecessary NameSpace prefix;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:04:44 +0200 |
wenzelm |
explicitly Unsynchronized;
|
file |
diff |
annotate
|
| Thu, 29 May 2008 22:45:33 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 12 Sep 2005 20:15:15 +0200 |
nipkow |
dealt with name clash with List.itrev
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Mon, 02 May 2005 11:03:27 +0200 |
haftmann |
introduced @{const ...} antiquotation
|
file |
diff |
annotate
|
| Mon, 08 Apr 2002 14:39:16 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 03 Aug 2001 18:04:55 +0200 |
paulson |
numerous stylistic changes and indexing
|
file |
diff |
annotate
|
| Wed, 24 Jan 2001 12:29:10 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 12 Jan 2001 16:32:01 +0100 |
paulson |
lcp's pass over the book, chapters 1-8
|
file |
diff |
annotate
|
| Fri, 05 Jan 2001 18:32:57 +0100 |
paulson |
minor edits to Chapters 1-3
|
file |
diff |
annotate
|
| Wed, 08 Nov 2000 14:38:04 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 31 Oct 2000 08:53:12 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 05 Sep 2000 13:53:39 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 01 Sep 2000 19:09:44 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Wed, 30 Aug 2000 18:09:20 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 29 Aug 2000 16:05:13 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 09:32:51 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 18 Aug 2000 10:34:08 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Sun, 06 Aug 2000 15:26:53 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Wed, 02 Aug 2000 11:30:38 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 28 Jul 2000 16:02:51 +0200 |
nipkow |
apply. -> by
|
file |
diff |
annotate
|
| Wed, 19 Apr 2000 11:56:31 +0200 |
nipkow |
I wonder which files i forgot.
|
file |
diff |
annotate
|