|
Date
|
Author
|
Message
|
| Tue, 4 Dec 2007 15:34:43 GMT |
paulk |
Adding ENTRIES
|
| Sat, 20 Oct 2007 21:06:11 GMT |
paulk |
Moving ...
|
| Sat, 20 Oct 2007 00:00:00 GMT |
paulk |
|
| Fri, 19 Oct 2007 12:08:57 GMT |
paulk |
Solved some typographic problems
|
| Thu, 18 Oct 2007 00:00:00 GMT |
paulk |
Added bibliographic citations to our docbook infrastructure
and added citations and a bibliography section to various chapters.
|
| Thu, 13 Sep 2007 16:33:41 GMT |
jurgenv |
* added pubdate fields
|
| Tue, 14 Aug 2007 19:40:41 GMT |
jurgenv |
* fixed typos found by Gerald Stap
|
| Mon, 14 May 2007 11:40:23 GMT |
jurgenv |
* website.sh: added generation of log htmls from svn log
* svnlog2html.xsl: translation from svn log xml to html
|
| Fri, 11 May 2007 11:58:01 GMT |
jurgenv |
* remarks
|
| Fri, 11 May 2007 11:52:51 GMT |
jurgenv |
* let images fit on pages in pdf
|
| Mon, 19 Feb 2007 10:03:52 GMT |
jurgenv |
* found a way to include the author
|
| Sun, 18 Feb 2007 20:46:40 GMT |
jurgenv |
* added some identifier-based ambiguities
|
| Sun, 18 Feb 2007 17:58:05 GMT |
jurgenv |
* added more how-to disambiguate stuff
|
| Sun, 18 Feb 2007 16:19:45 GMT |
jurgenv |
* fixed some minor details
|
| Sun, 18 Feb 2007 16:10:13 GMT |
jurgenv |
* added longest match
|
| Sun, 18 Feb 2007 13:10:33 GMT |
jurgenv |
* more on priorities
|
| Sun, 18 Feb 2007 12:25:35 GMT |
jurgenv |
* more disamb stories
|
| Sat, 17 Feb 2007 21:04:15 GMT |
jurgenv |
* added more stuff on priority disambiguation
|
| Sat, 17 Feb 2007 18:44:59 GMT |
jurgenv |
* added basic assoc and priorities
|
| Sat, 17 Feb 2007 17:10:31 GMT |
jurgenv |
|
| Sat, 17 Feb 2007 17:01:24 GMT |
jurgenv |
* rephrased some stuff
|
| Sat, 17 Feb 2007 16:52:26 GMT |
jurgenv |
* set keywords
|
| Sat, 17 Feb 2007 14:41:04 GMT |
jurgenv |
* renamed title
|
| Sat, 17 Feb 2007 13:54:11 GMT |
jurgenv |
* started howto on sdf disambiguation
|