0
I Use This!
Inactive

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.
May 30, 2023 — May 30, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'master' of github.com:avsm/mirage-www
Thomas Gazagnaire
as samoht
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
Thomas Gazagnaire
as samoht
More... over 13 years ago
Update blog post on cow
Thomas Gazagnaire
as samoht
More... over 13 years ago
Add first draft of Cow presentation blog post
Thomas Gazagnaire
as samoht
More... over 13 years ago
use Net module More... over 13 years ago
Update Http_ -> Http. due to the renaiming of the modules
Thomas Gazagnaire
as samoht
More... over 13 years ago
Fix category numbering
Thomas Gazagnaire
as samoht
More... over 13 years ago
Fix category fonts
Thomas Gazagnaire
as samoht
More... over 13 years ago
Fix title
Thomas Gazagnaire
as samoht
More... over 13 years ago
Fix some CSS weirdness
Thomas Gazagnaire
as samoht
More... over 13 years ago
Add code colorizing ... very ugly at the moment, so needs some tweekings
Thomas Gazagnaire
as samoht
More... over 13 years ago
Merge branch 'master' of github.com:avsm/mirage-www
Thomas Gazagnaire
as samoht
More... over 13 years ago
Use [COW]/css to generate style sheets
Thomas Gazagnaire
as samoht
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
Thomas Gazagnaire
as samoht
More... over 13 years ago
Add missing .mir file
Thomas Gazagnaire
as samoht
More... over 13 years ago
Move markdown to COW
Thomas Gazagnaire
as samoht
More... over 13 years ago
Do not escape code and quote attributes as this is done by the preprocessor.
Thomas Gazagnaire
as samoht
More... over 13 years ago