Date Author Message
Tue, 13 Nov 2007 12:59:09 GMT lankamp
	    -Fixed a typo I made.
 
	  
Mon, 12 Nov 2007 15:08:50 GMT lankamp
	    -Removed one + from SAF-memory usage in the format comparison table (it's not that good ;) ).
-Changed the SAF explanation text a bit; it'll add more text to it later.
 
	  
Sat, 10 Nov 2007 22:08:36 GMT paulk
	    Changed some section titles.
 
	  
Sat, 10 Nov 2007 21:48:32 GMT paulk
	    Included (most of) Arnold's comments.
 
	  
Wed, 7 Nov 2007 08:42:43 GMT paulk
	    Fixed typo.
 
	  
Wed, 7 Nov 2007 08:28:11 GMT paulk
	    - Added further text to the description of the Java implementation.
- Extended historical notes
- Added an "where to go from here?" section in the introduction.
 
	  
Tue, 6 Nov 2007 23:28:21 GMT paulk
	    Added listing of Java interfaces.
 
	  
Tue, 6 Nov 2007 10:34:35 GMT paulk
	    _ Added SAF description
- Rearranged sections
 
	  
Mon, 5 Nov 2007 22:37:43 GMT paulk
	    Started with SAF-related text
 
	  
Sun, 4 Nov 2007 21:53:57 GMT paulk
	    - Added references.
 
	  
Sun, 4 Nov 2007 09:51:35 GMT paulk
	    - Added several figures to ATerm guide
- Added entries to the bibliography
 
	  
Sat, 3 Nov 2007 23:03:51 GMT paulk
	    - Added a figure.
- Completed (brief) decsription of Java implementation.
 
	  
Sat, 3 Nov 2007 00:00:00 GMT paulk
	    - Added aterm & toolbus guides to the complete book.
- Experiment with a new CSS file
- Further editing of aterm guide.
 
	  
Sat, 3 Nov 2007 14:27:39 GMT paulk
	    - Added id's to all sections.
- Added corss-referemces.
 
	  
Sat, 3 Nov 2007 08:24:22 GMT paulk
	    Started with java implementation part.
 
	  
Fri, 2 Nov 2007 22:27:13 GMT paulk
	    Reached Utilities
 
	  
Fri, 2 Nov 2007 21:18:51 GMT paulk
	    Reached Dictionaries
 
	  
Fri, 2 Nov 2007 20:55:05 GMT paulk
	    Continued until AtermPlaceholder.
 
	  
Fri, 2 Nov 2007 16:46:39 GMT paulk
	    Proceeded until ATermList
 
	  
Fri, 2 Nov 2007 15:02:16 GMT paulk
	    Completed level 1 interface.
 
	  
Fri, 2 Nov 2007 13:34:28 GMT paulk
	    Renamed files
 
	  
Fri, 2 Nov 2007 13:33:11 GMT paulk
	    Writing ...
 
	  
Fri, 2 Nov 2007 12:29:32 GMT paulk
	    Continuing ...
 
	  
Fri, 2 Nov 2007 11:46:02 GMT paulk
	    Started with ATerm manual