projects / proglang.git / history
| 2006-03-10 | Michael Andreen | replace E with in | blob | commitdiff | raw |
| 2006-03-10 | Michael Andreen | major update of the natural deduction | blob | commitdiff | raw | diff to current |
| 2006-03-01 | Fredrik Möllerstrand | YEAH | blob | commitdiff | raw | diff to current |
| 2006-03-01 | Michael Andreen | minor stuff | blob | commitdiff | raw | diff to current |
| 2006-02-28 | Fredrik Möllerstrand | typing rules in documentation | blob | commitdiff | raw | diff to current |
| 2006-02-26 | Michael Andreen | changed the documentation | blob | commitdiff | raw | diff to current |
| 2006-02-24 | Michael Andreen | more or less done with the syntx | blob | commitdiff | raw | diff to current |
| 2006-02-07 | Michael Andreen | explained the shift/reduce conflicts | blob | commitdiff | raw | diff to current |
| 2006-02-07 | Michael Andreen | moved comments to examples | blob | commitdiff | raw | diff to current |
| 2006-02-07 | Michael Andreen | initial commit | blob | commitdiff | raw | diff to current |