6 Commits

Author	SHA1	Message	Date
Jeremy Ruston	9e3618bdcf	Rename the 'title' attributes of various widgets to 'tiddler' ... The change is to avoid confusion with the HTML 'title' attribute. The name 'tiddler' better emphasises the purpose of the attribute, too.	2013-10-30 13:36:44 +00:00
Jeremy Ruston	93c2ce6521	Fix up edit widgets	2013-10-16 16:30:24 +01:00
Jeremy Ruston	bf7b0629a3	More docs updates	2013-08-25 22:48:53 +01:00
Jeremy Ruston	1ebe0d39b2	Get rid of the 'docs' tag ... It was unnecessary, since everything here is documentation	2013-08-25 21:41:00 +01:00
Jeremy Ruston	82bb5c3688	Docs updates	2013-03-02 13:14:56 +00:00
Jeremy Ruston	719d89ca04	Move the editions into a subfolder	2012-11-16 21:20:27 +00:00