User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 17:43, 11 January 2009 (diff | hist) . . (-1) . . m Template:BibEntry (typo ".") (current)
- 17:41, 11 January 2009 (diff | hist) . . (-11) . . Template:BibEntry (without linebreaks)
- 17:35, 11 January 2009 (diff | hist) . . (+771) . . N Template:BibEntry (naive version ignoring "bibtype" entry)
- 17:19, 11 January 2009 (diff | hist) . . (+121) . . Todo List (→Templates: bibliography)
- 00:32, 11 January 2009 (diff | hist) . . (+73) . . Main Page (→Contents: separate pages for translations of LJ and LK)
- 00:30, 11 January 2009 (diff | hist) . . (+71) . . Notations (→Rule names: implicit R for one-sided)
- 23:03, 7 January 2009 (diff | hist) . . (+4,880) . . N Intuitionistic linear logic (Definition of ILL and embedding into LL (two-sided presentation))
- 22:25, 7 January 2009 (diff | hist) . . (+8) . . m Main Page (→Contents: adjustments in titles)
- 20:51, 7 January 2009 (diff | hist) . . (+122) . . Notations (→Formulas: substitutions)
- 20:45, 7 January 2009 (diff | hist) . . (+1,163) . . Recommendations (formating of groups of rules)
- 16:55, 29 December 2008 (diff | hist) . . (+225) . . Todo List (footer)
- 16:49, 29 December 2008 (diff | hist) . . (+229) . . N Help:Contents (first list of pointers) (current)
- 16:40, 29 December 2008 (diff | hist) . . (+221) . . Todo List (sidebar)
- 16:32, 29 December 2008 (diff | hist) . . (-40) . . MediaWiki:Sidebar (current)
- 16:32, 29 December 2008 (diff | hist) . . (-65) . . MediaWiki:Sidebar
- 16:29, 29 December 2008 (diff | hist) . . (+541) . . N LLWiki:About (short project description)
- 16:04, 29 December 2008 (diff | hist) . . (+219) . . N MediaWiki:Sidebar (comments for unused features of the sidebar)
- 15:23, 29 December 2008 (diff | hist) . . (+1,769) . . N Notations (first set of notations)
- 13:17, 29 December 2008 (diff | hist) . . (0) . . m Recommendations (typo)
- 13:16, 29 December 2008 (diff | hist) . . (+192) . . Recommendations (notations)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)