2012-02-29 | Christian Urban | spellcheck | file | diff | annotate |
2012-02-29 | Christian Urban | final changes to the lmcs paper | file | diff | annotate |
2012-02-29 | Christian Urban | more one the lmcs-paper | file | diff | annotate |
2012-02-29 | Christian Urban | more on the lmcs paper | file | diff | annotate |
2012-02-29 | Christian Urban | implemented all comments from the reviewer | file | diff | annotate |
2012-01-09 | Christian Urban | merged | file | diff | annotate |
2012-01-09 | Christian Urban | added the simple fixes for the paper | file | diff | annotate |
2012-01-02 | Christian Urban | added definition for generalisation of type schemes (for paper) | file | diff | annotate |
2011-12-29 | Christian Urban | made the paper running again | file | diff | annotate |
2011-09-22 | Christian Urban | final polishing? | file | diff | annotate |
2011-09-21 | Cezary Kaliszyk | spelling | file | diff | annotate |
2011-09-21 | Christian Urban | added comments from Andrei | file | diff | annotate |
2011-09-21 | Christian Urban | more polishing | file | diff | annotate |
2011-09-21 | Christian Urban | added a footnote | file | diff | annotate |
2011-09-21 | Christian Urban | some minor polishing | file | diff | annotate |
2011-09-21 | Christian Urban | some minor polishing | file | diff | annotate |
2011-09-21 | Christian Urban | some polishing | file | diff | annotate |
2011-09-21 | Christian Urban | changes | file | diff | annotate |
2011-09-21 | Christian Urban | deleted PNil | file | diff | annotate |
2011-09-21 | Christian Urban | deleted PNil | file | diff | annotate |
2011-09-20 | Christian Urban | more polishing | file | diff | annotate |
2011-09-20 | Cezary Kaliszyk | minor | file | diff | annotate |
2011-09-19 | Christian Urban | polished | file | diff | annotate |
2011-09-18 | Christian Urban | included comments from Ramana | file | diff | annotate |
2011-09-18 | Christian Urban | polished | file | diff | annotate |
2011-09-16 | Christian Urban | all material | file | diff | annotate |
2011-09-16 | Christian Urban | almost finished | file | diff | annotate |
2011-09-16 | Christian Urban | more on paper | file | diff | annotate |
2011-09-14 | Christian Urban | more on the paper | file | diff | annotate |
2011-09-14 | Christian Urban | more on paper | file | diff | annotate |
2011-09-14 | Cezary Kaliszyk | minor | file | diff | annotate |
2011-09-13 | Christian Urban | more on paper | file | diff | annotate |
2011-09-13 | Christian Urban | more on paper | file | diff | annotate |
2011-09-13 | Christian Urban | more on paper | file | diff | annotate |
2011-09-12 | Christian Urban | more on the paper | file | diff | annotate |
2011-09-11 | Christian Urban | more | file | diff | annotate |
2011-09-11 | Christian Urban | more on paper | file | diff | annotate |
2011-09-09 | Christian Urban | more | file | diff | annotate |
2011-09-09 | Christian Urban | paper | file | diff | annotate |
2011-09-09 | Christian Urban | merged | file | diff | annotate |
2011-09-08 | Christian Urban | more on paper | file | diff | annotate |
2011-09-09 | Christian Urban | more | file | diff | annotate |
2011-09-08 | Christian Urban | more on the paper | file | diff | annotate |
2011-09-07 | Christian Urban | more on paper | file | diff | annotate |
2011-09-06 | Christian Urban | more on the lmcs paper | file | diff | annotate |
2011-08-17 | Christian Urban | more on the lmcs paper | file | diff | annotate |
2011-08-17 | Christian Urban | a little tuning on the paper | file | diff | annotate |
2011-08-16 | Christian Urban | more on the intro and correct style-files | file | diff | annotate |
2011-08-12 | Christian Urban | started lmcs paper (isabelle make lmcs) | file | diff | annotate |