User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:45, 11 January 2009 (diff | hist) . . (+33) . . LLWiki:About (→References: with Template:BibEntry)
- 16:43, 11 January 2009 (diff | hist) . . (-1) . . m Template:BibEntry (typo ".") (current)
- 16:41, 11 January 2009 (diff | hist) . . (-11) . . Template:BibEntry (without linebreaks)
- 16:35, 11 January 2009 (diff | hist) . . (+771) . . N Template:BibEntry (naive version ignoring "bibtype" entry)
- 16:19, 11 January 2009 (diff | hist) . . (+121) . . Todo List (→Templates: bibliography)
- 23:32, 10 January 2009 (diff | hist) . . (+73) . . Main Page (→Contents: separate pages for translations of LJ and LK)
- 23:30, 10 January 2009 (diff | hist) . . (+71) . . Notations (→Rule names: implicit R for one-sided)
- 22:03, 7 January 2009 (diff | hist) . . (+4,880) . . N Intuitionistic linear logic (Definition of ILL and embedding into LL (two-sided presentation))
- 21:25, 7 January 2009 (diff | hist) . . (+8) . . m Main Page (→Contents: adjustments in titles)
- 19:51, 7 January 2009 (diff | hist) . . (+122) . . Notations (→Formulas: substitutions)
- 19:45, 7 January 2009 (diff | hist) . . (+1,163) . . Recommendations (formating of groups of rules)
- 15:55, 29 December 2008 (diff | hist) . . (+225) . . Todo List (footer)
- 15:49, 29 December 2008 (diff | hist) . . (+229) . . N Help:Contents (first list of pointers) (current)
- 15:40, 29 December 2008 (diff | hist) . . (+221) . . Todo List (sidebar)
- 15:32, 29 December 2008 (diff | hist) . . (-40) . . MediaWiki:Sidebar (current)
- 15:32, 29 December 2008 (diff | hist) . . (-65) . . MediaWiki:Sidebar
- 15:29, 29 December 2008 (diff | hist) . . (+541) . . N LLWiki:About (short project description)
- 15:04, 29 December 2008 (diff | hist) . . (+219) . . N MediaWiki:Sidebar (comments for unused features of the sidebar)
- 14:23, 29 December 2008 (diff | hist) . . (+1,769) . . N Notations (first set of notations)
- 12:17, 29 December 2008 (diff | hist) . . (0) . . m Recommendations (typo)
- 12:16, 29 December 2008 (diff | hist) . . (+192) . . Recommendations (notations)
- 18:38, 28 December 2008 (diff | hist) . . (+120) . . Todo List (first version of sandbox done)
- 18:27, 28 December 2008 (diff | hist) . . (-6) . . Sandbox
- 18:25, 28 December 2008 (diff | hist) . . (+42) . . Template:Sandbox (corrected reset link) (current)
- 18:20, 28 December 2008 (diff | hist) . . (+6) . . Sandbox
- 18:20, 28 December 2008 (diff | hist) . . (+207) . . N Template:Sandbox (Template for sandbox with reset feature)
- 18:17, 28 December 2008 (diff | hist) . . (+42) . . N Sandbox (sandbox based on template for reset)
- 18:15, 28 December 2008 (diff | hist) . . (+40) . . Main Page (link to sandbox)
- 17:51, 28 December 2008 (diff | hist) . . (+112) . . N User:Olivier Laurent (link to home page) (current)
- 17:26, 28 December 2008 (diff | hist) . . (+75) . . Main Page
- 17:20, 28 December 2008 (diff | hist) . . (-124) . . Todo List (empty title in Template:Environment : done)
- 17:18, 28 December 2008 (diff | hist) . . (+711) . . Recommendations (use template for theorems)
- 17:05, 28 December 2008 (diff | hist) . . (+108) . . Template:Proposition (propagate empty title) (current)
- 17:04, 28 December 2008 (diff | hist) . . (+43) . . Template:Theorem (propagate empty title again) (current)
- 17:03, 28 December 2008 (diff | hist) . . (+61) . . Template:Theorem (propagate empty title)
- 17:01, 28 December 2008 (diff | hist) . . (+102) . . Template:Lemma (propagate empty title) (current)
- 17:00, 28 December 2008 (diff | hist) . . (+106) . . Template:Corollary (propagate empty title) (current)
- 16:58, 28 December 2008 (diff | hist) . . (+12) . . m Template:Definition (current)
- 16:57, 28 December 2008 (diff | hist) . . (+12) . . m Template:Environment
- 16:56, 28 December 2008 (diff | hist) . . (+1) . . m Template:Definition
- 16:56, 28 December 2008 (diff | hist) . . (+47) . . Template:Definition (propagate undefined title again)
- 16:50, 28 December 2008 (diff | hist) . . (+47) . . Template:Definition (propagate undefined title)
- 16:47, 28 December 2008 (diff | hist) . . (+11) . . Template:Environment (test definedness of title instead of emptyness)
- 16:42, 28 December 2008 (diff | hist) . . (+35) . . Template:Environment (deal with empty title)
- 16:13, 28 December 2008 (diff | hist) . . (+1,204) . . N LLWiki LaTeX Style (list of macros from llwiki.sty v0.2)
- 15:57, 28 December 2008 (diff | hist) . . (+928) . . Recommendations (Mathematical typesetting)
- 13:19, 28 December 2008 (diff | hist) . . (0) . . m Todo List
- 21:23, 19 December 2008 (diff | hist) . . (+11) . . m MediaWiki:Loginprompt (current)
- 10:55, 19 December 2008 (diff | hist) . . (+33) . . Todo List (doc for Templates)
- 10:32, 19 December 2008 (diff | hist) . . (+44) . . Todo List (required wiki features)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
