Date
|
Author
|
Message
|
Tue, 4 Dec 2007 15:34:43 GMT |
paulk |
Adding ENTRIES
|
Mon, 22 Oct 2007 15:18:09 GMT |
paulk |
- Added a global bibliography section
- Fixed some xml:id clashes
|
Sat, 20 Oct 2007 21:06:11 GMT |
paulk |
Moving ...
|
Sat, 20 Oct 2007 00:00:00 GMT |
paulk |
|
Fri, 19 Oct 2007 20:30:15 GMT |
paulk |
Swicthed to biblioref
|
Fri, 19 Oct 2007 11:58:28 GMT |
paulk |
Fixed some typgraphic problems.
|
Fri, 19 Oct 2007 06:38:01 GMT |
paulk |
Added references to SDF manual.
|
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, 11 Oct 2007 13:06:45 GMT |
paulk |
Adjusted to naming convention.
|
Thu, 13 Sep 2007 20:35:49 GMT |
jurgenv |
* moved some documents here
|
Thu, 13 Sep 2007 16:33:41 GMT |
jurgenv |
* added pubdate fields
|
Thu, 24 May 2007 08:54:43 GMT |
lankamp |
Added ATerm SAF documentation.
|
Mon, 14 May 2007 13:51:50 GMT |
jurgenv |
* removed changes section
|
Mon, 14 May 2007 13:34:14 GMT |
jurgenv |
* minor changes
|
Mon, 14 May 2007 13:32:29 GMT |
jurgenv |
* rewrote disambiguation section, and moved it upwards in the file.
|
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
|
Mon, 14 May 2007 07:37:19 GMT |
jurgenv |
* simplified "index" example
|
Fri, 11 May 2007 14:26:49 GMT |
jurgenv |
* dead
|
Fri, 11 May 2007 14:10:16 GMT |
jurgenv |
* small change
|
Fri, 11 May 2007 13:17:55 GMT |
jurgenv |
* spelling
|
Fri, 11 May 2007 13:15:49 GMT |
jurgenv |
* did some stuff
|
Fri, 11 May 2007 12:07:52 GMT |
jurgenv |
* added another picture
|
Fri, 11 May 2007 11:58:01 GMT |
jurgenv |
* remarks
|
Fri, 11 May 2007 11:49:54 GMT |
jurgenv |
* learning-about/sdf/*: rewrote/restructured the SDF manual
* website.sh: added chapter and section numbers to pdf output
|
Fri, 11 May 2007 11:34:14 GMT |
jurgenv |
* more links fixed
|
Fri, 11 May 2007 11:08:21 GMT |
jurgenv |
* fixed internal references
|
Fri, 11 May 2007 10:04:32 GMT |
jurgenv |
* more fixes
|
Fri, 11 May 2007 09:40:09 GMT |
jurgenv |
* some cleanup
|
Fri, 11 May 2007 09:16:35 GMT |
jurgenv |
* removed several errors from the manual, and the example in the manual
* moved subsections and paragraphs to different sections, in order to make
the structure consistent
* added pictures
* updated the references within the document and added a number of references
|
Fri, 11 May 2007 07:28:45 GMT |
jurgenv |
* added big picture
|
Thu, 10 May 2007 20:37:19 GMT |
jurgenv |
* small improvements
|
Thu, 10 May 2007 15:48:32 GMT |
jurgenv |
*
|
Thu, 10 May 2007 15:48:06 GMT |
jurgenv |
* an overview of the use of SDF via a grammar's life-cycle
|
Thu, 10 May 2007 15:38:24 GMT |
jurgenv |
* added more details on SDF normalization
|
Thu, 10 May 2007 14:57:32 GMT |
jurgenv |
* more editing
|
Thu, 10 May 2007 14:19:22 GMT |
jurgenv |
* fixed and augmented the symbols section
|
Thu, 19 Apr 2007 07:14:40 GMT |
paulk |
Continued with book integration.
|
Sat, 23 Dec 2006 22:46:30 GMT |
paulk |
Minor corrections
|
Wed, 20 Dec 2006 23:38:42 GMT |
paulk |
Further improved introduction.
|
Wed, 20 Dec 2006 22:39:44 GMT |
paulk |
- Improved introduction.
- Added PDF links in Historial Notes section.
- Various text corrections.
|
Wed, 20 Dec 2006 12:12:01 GMT |
paulk |
- Added todo list
- A synced the description style of SDF constructs
with style in the ASF+SDF manual.
|
Sat, 16 Dec 2006 16:45:23 GMT |
paulk |
Fixed version info
|
Sat, 16 Dec 2006 16:43:53 GMT |
paulk |
Set keyword property for sdf.xml
|
Sat, 16 Dec 2006 16:41:38 GMT |
paulk |
First phase of subdivision of ASF+SDF manual in two parts completed.
There is now an SDF manual that is complete independent.
In addition:
- A major reorganization in order to better reflect the integration of
lexical and context-free syntax.
- There is no longer repetition in lexical and context-free syntax.
- Global renamins like functions -> productions, etc.
- Added a Historical notes section.
- Major rewrite of various sections.
|