Merge branch 'master' of github.com:avsm/mirage-www |
|
More...
|
over 13 years ago
|
fix build of mirage-www to use latest mirage bins |
|
More...
|
over 13 years ago
|
Use the new debugger facilities |
|
More...
|
over 13 years ago
|
Update blog post on cow |
|
More...
|
over 13 years ago
|
Add first draft of Cow presentation blog post |
|
More...
|
over 13 years ago
|
use Net module |
|
More...
|
over 13 years ago
|
Update Http_ -> Http. due to the renaiming of the modules |
|
More...
|
over 13 years ago
|
Fix category numbering |
|
More...
|
over 13 years ago
|
Fix category fonts |
|
More...
|
over 13 years ago
|
Fix title |
|
More...
|
over 13 years ago
|
Fix some CSS weirdness |
|
More...
|
over 13 years ago
|
Add code colorizing ... very ugly at the moment, so needs some tweekings |
|
More...
|
over 13 years ago
|
Merge branch 'master' of github.com:avsm/mirage-www |
|
More...
|
over 13 years ago
|
Use [COW]/css to generate style sheets |
|
More...
|
over 13 years ago
|
add a content-type header to the atom xml responses so gecko picks it up |
|
More...
|
over 13 years ago
|
Remove extra space between end-of-phrase and dot in ressource page. |
|
More...
|
over 13 years ago
|
Fix status page |
|
More...
|
over 13 years ago
|
Do not use HTML in md files |
|
More...
|
over 13 years ago
|
Replace papers.html by an autogenerated-from-type value (within paper.ml) |
|
More...
|
over 13 years ago
|
Fix up the ressource page |
|
More...
|
over 13 years ago
|
Fix the status page |
|
More...
|
over 13 years ago
|
typos ... |
|
More...
|
over 13 years ago
|
Merge branch 'master' of github.com:avsm/mirage-www |
|
More...
|
over 13 years ago
|
Try to make it work with latest version of COW, still doesn't work yet |
|
More...
|
over 13 years ago
|
sync gitignore |
|
More...
|
over 13 years ago
|
rename build targets to .bin to reflect latest |
|
More...
|
over 13 years ago
|
Update mirage-www to latest version of COW; doesn't compile yet due to a linking problem with runtime_unix |
|
More...
|
over 13 years ago
|
Add missing .mir file |
|
More...
|
over 13 years ago
|
Move markdown to COW |
|
More...
|
over 13 years ago
|
Do not escape code and quote attributes as this is done by the preprocessor. |
|
More...
|
over 13 years ago
|