User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 14:52, 3 October 2011 (diff | hist) . . (+280) . . N Talk:Orthogonality relation (Link with phase semantics) (current)
- 14:37, 15 March 2011 (diff | hist) . . (+4) . . m Talk:Coherent semantics (→Mix rule) (current)
- 15:49, 14 March 2011 (diff | hist) . . (+4) . . m Coherent semantics (→Multiplicative neutrals and the mix rule: link to "Mix" page added)
- 17:09, 21 February 2011 (diff | hist) . . (+304) . . Sequent calculus (→Variations: Mix)
- 17:03, 21 February 2011 (diff | hist) . . (+1,738) . . Lattice of exponential modalities (Proof sketches)
- 16:19, 21 February 2011 (diff | hist) . . (+2) . . m Lattice of exponential modalities (typo)
- 13:41, 21 February 2011 (diff | hist) . . (-125) . . m Lattice of exponential modalities (Typo: same lemma twice)
- 13:39, 21 February 2011 (diff | hist) . . (+2,441) . . Lattice of exponential modalities (First complete description of this lattice (and can ingredients for the proof))
- 14:58, 17 February 2011 (diff | hist) . . (+62) . . m MediaWiki:Signupend (Warnings added)
- 14:55, 17 February 2011 (diff | hist) . . (+28) . . m MediaWiki:Signupend (To appear on the left)
- 14:48, 17 February 2011 (diff | hist) . . (+6) . . m MediaWiki:Signupend (Linebreak at beginning)
- 14:41, 17 February 2011 (diff | hist) . . (+11) . . m MediaWiki:Signupend (Remove table of contents)
- 14:38, 17 February 2011 (diff | hist) . . (+298) . . MediaWiki:Signupend (Rights and licence)
- 13:15, 17 February 2011 (diff | hist) . . (0) . . m Terms of use (Protected "Terms of use": Administrative page [edit=sysop:move=sysop]) (current)
- 13:14, 17 February 2011 (diff | hist) . . (+716) . . N Terms of use (English version of the document concerning rights and licence)
- 13:13, 17 February 2011 (diff | hist) . . (0) . . m Conditions d'utilisation (Protected "Conditions d'utilisation": Administrative page [edit=sysop:move=sysop]) (current)
- 13:13, 17 February 2011 (diff | hist) . . (+2,133) . . N Conditions d'utilisation (Official French document concerning rights and licence)
- 13:11, 17 February 2011 (diff | hist) . . (0) . . m Precedence of French terms (Protected "Precedence of French terms": Administrative page [edit=sysop:move=sysop]) (current)
- 13:10, 17 February 2011 (diff | hist) . . (+304) . . N Precedence of French terms (Warning about French vs English)
- 13:09, 17 February 2011 (diff | hist) . . (0) . . m Information for contributors (Protected "Information for contributors": Administrative page [edit=sysop:move=sysop]) (current)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)