index
:
www
master
Werc based website at pmikkelsen.com
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sites
Age
Commit message (
Collapse
)
Author
2021-07-28
Add note about prolog's append/3
Peter Mikkelsen
2021-07-28
Add faces(1) patch
Peter Mikkelsen
2021-07-04
Update style :)
Peter Mikkelsen
2021-07-02
Footer changes
Peter Mikkelsen
2021-07-02
Update style again
Peter Mikkelsen
2021-07-02
Add image
Peter Mikkelsen
2021-07-02
Update style for pmikkelsen.com
Peter Mikkelsen
2021-06-23
Add websocket webfs patch and notes
Peter Mikkelsen
2021-06-23
Add some agda test
Peter Mikkelsen
2021-05-26
Updates + add favicon
Peter Mikkelsen
2021-05-26
Update info on index page
Peter Mikkelsen
2021-05-01
Add some images and update eduroam.md
Peter Mikkelsen
2021-02-17
Update index of pprolog.org
Peter Mikkelsen
2021-02-17
Updates
Peter Mikkelsen
2021-01-24
Add pprolog install instructions
glenda
2021-01-24
Update styles for code blocks
glenda
2021-01-24
Update let's encrypt notes
glenda
2021-01-24
Update top bar
glenda
2021-01-13
Add link to unwritten prolog primer
glenda
2021-01-13
Write an intro in documentation
glenda
2021-01-13
Add screenshot
glenda
2021-01-13
Move prolog page to pprolog.org
glenda
2021-01-13
Update pprolog index page
glenda
2021-01-13
Update copyright years
glenda
2021-01-13
Updates
glenda
2021-01-06
Add subpage for pprolog
glenda
2021-01-06
Add diff i use for ndb/dns
glenda
2020-11-15
Import site to git
glenda