| Sat, 14 Nov 2015 08:45:52 +0100 |
haftmann |
prefer "rewrites" and "defines" to note rewrite morphisms
|
file |
diff |
annotate
|
| Sat, 13 Jun 2015 22:42:23 +0200 |
wenzelm |
more on 'consider' and related concepts;
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 22:04:43 +0100 |
wenzelm |
proper latex;
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 20:28:53 +0100 |
wenzelm |
tuned latex;
|
file |
diff |
annotate
|
| Fri, 14 Nov 2014 18:39:42 +0100 |
haftmann |
documentation stubs about permanent_interpretation
|
file |
diff |
annotate
|
| Mon, 20 Oct 2014 16:52:36 +0200 |
wenzelm |
official support for "tt" style variants, avoid fragile \verb in LaTeX;
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 22:06:07 +0100 |
wenzelm |
explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 13:55:28 +0200 |
wenzelm |
more accurate documentation of "(structure)" mixfix;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|