User contributions
From LLWiki
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 23:21, 8 March 2009 (diff | hist) . . (+223) . . Semantics (use of latex arrays for improving the presentation)
- 22:40, 8 March 2009 (diff | hist) . . (+3,047) . . N Semantics (Creation of the page from the section "Main properties" of the Coherent semantics page)
- 22:32, 8 March 2009 (diff | hist) . . (-3,153) . . Coherent semantics (Moved the "Main properties" section into the Semantics page)
- 22:20, 8 March 2009 (diff | hist) . . (+4) . . Main Page (Added a link to the "semantics" page)
- 12:42, 6 March 2009 (diff | hist) . . (+280) . . Coherent semantics (→Linear functions: precision)
- 12:31, 6 March 2009 (diff | hist) . . (+326) . . Coherent semantics (→Main properties)
- 12:21, 6 March 2009 (diff | hist) . . (+28) . . Coherent semantics (→Cartesian product: corrections)
- 12:15, 6 March 2009 (diff | hist) . . (0) . . m Coherent semantics (→Stable functions: correction of correction)
- 12:14, 6 March 2009 (diff | hist) . . (+32) . . Coherent semantics (→Stable functions: corrections)
- 12:00, 6 March 2009 (diff | hist) . . (+364) . . Coherent semantics (→As cliqued spaces: corrections)
- 19:50, 5 March 2009 (diff | hist) . . (+3,023) . . Coherent semantics (list of canonical mophisms and isomophisms)
- 00:01, 5 March 2009 (diff | hist) . . (+4,755) . . Coherent semantics (Dual connectives, par and why not, and neutrals)
- 22:36, 4 March 2009 (diff | hist) . . (+1) . . m Coherent semantics (typo (should always preview before save))
- 22:35, 4 March 2009 (diff | hist) . . (+10) . . Coherent semantics (forgotten a \longrightarrow)
- 22:32, 4 March 2009 (diff | hist) . . (+52) . . Coherent semantics (disambiguate between the space X \imp Y and the notation F: X \longrightarrow Y)
- 22:04, 4 March 2009 (diff | hist) . . (-1) . . m Coherent semantics (→Stable functions: superfluous newline)
- 00:24, 3 March 2009 (diff | hist) . . (+1,114) . . Coherent semantics (Definition of exponentials)
- 23:57, 2 March 2009 (diff | hist) . . (+71) . . Main Page (Added a direct link to the LaTeX macros listing)
- 10:34, 2 March 2009 (diff | hist) . . (+1,511) . . Coherent semantics (Linear negation)
- 00:51, 2 March 2009 (diff | hist) . . (+378) . . Coherent semantics (Definition of tensor product)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)