| 2020-08-30 |
Amin Bandali | fix publications anchor positioning
|
commit | commitdiff | tree |
| 2020-07-31 |
Amin Bandali | s/Dr./Prof./
|
commit | commitdiff | tree |
| 2020-07-21 |
Amin Bandali | minor fixes
|
commit | commitdiff | tree |
| 2020-07-17 |
Amin Bandali | various updates
|
commit | commitdiff | tree |
| 2020-07-17 |
Amin Bandali | rename meta_notes.m4 to meta_defs.m4
|
commit | commitdiff | tree |
| 2020-07-17 |
Amin Bandali | mmath: better styling for abstract and license
|
commit | commitdiff | tree |
| 2020-07-17 |
Amin Bandali | use bandali-bib#bandali2020 instead of a bib file
|
commit | commitdiff | tree |
| 2020-07-17 |
Amin Bandali | add mmath thesis sources
|
commit | commitdiff | tree |
| 2020-07-17 |
Amin Bandali | various updates
|
commit | commitdiff | tree |
| 2020-07-16 |
Amin Bandali | avoid circular dependency
|
commit | commitdiff | tree |
| 2020-07-16 |
Amin Bandali | make publications and bandali-bib actual pages
|
commit | commitdiff | tree |
| 2020-07-16 |
Amin Bandali | add standalone publications page
|
commit | commitdiff | tree |
| 2020-07-10 |
Amin Bandali | add mmath page (wip)
|
commit | commitdiff | tree |
| 2020-07-10 |
Amin Bandali | bandali.eu.org -> bndl.org
|
commit | commitdiff | tree |
| 2020-06-07 |
Amin Bandali | a few tweaks
|
commit | commitdiff | tree |
| 2020-05-30 |
Amin Bandali | small typo fixes
|
commit | commitdiff | tree |
| 2020-05-30 |
Amin Bandali | add introductory blog post for my fsf internship :-)
|
commit | commitdiff | tree |
| 2020-05-14 |
Amin Bandali | update htaccess files and makefile according to new...
|
commit | commitdiff | tree |
| 2020-05-14 |
Amin Bandali | update links to git repos
|
commit | commitdiff | tree |
| 2020-04-28 |
Amin Bandali | move bandali.eu.org-specific bits of .htaccess to caffeine
|
commit | commitdiff | tree |
| 2020-04-25 |
Amin Bandali | add refinery-theme to #projects
|
commit | commitdiff | tree |
| 2020-04-21 |
Amin Bandali | add .htaccess
|
commit | commitdiff | tree |
| 2020-04-21 |
Amin Bandali | rename feed_* to meta_feed_* and simplify wildcard...
|
commit | commitdiff | tree |
| 2020-04-21 |
Amin Bandali | fix remaining issues with non-numeric slugs
|
commit | commitdiff | tree |
| 2020-04-20 |
Amin Bandali | update url for some assets
|
commit | commitdiff | tree |
| 2020-04-20 |
Amin Bandali | add rss feed
|
commit | commitdiff | tree |
| 2020-04-20 |
Amin Bandali | update se212-f19 page and files
|
commit | commitdiff | tree |
| 2020-04-20 |
Amin Bandali | port from an SSI-based setup to one using GNU M4
|
commit | commitdiff | tree |
| 2020-04-18 |
Amin Bandali | moving to caffeine
|
commit | commitdiff | tree |
| 2020-04-18 |
Amin Bandali | small updates
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | LICENSE was supposed to be a symlink not a duplicate...
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | remove some vestigial files
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | add missing license files (GPLv3+)
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | simplify title logic
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | use ssi for more pages
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | ssi on;
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | delete vestigial common/ dir with mab icons
|
commit | commitdiff | tree |
| 2020-03-28 |
Amin Bandali | convert the site back into hand-written html
|
commit | commitdiff | tree |
| 2020-03-25 |
Amin Bandali | some accumulated uncommitted changes
|
commit | commitdiff | tree |
| 2020-01-05 |
Amin Bandali | move 404.html to static/
|
commit | commitdiff | tree |
| 2020-01-01 |
Amin Bandali | update my domain
|
commit | commitdiff | tree |
| 2019-12-21 |
Amin Bandali | remove link to se212-f19/ from index, link it from...
|
commit | commitdiff | tree |
| 2019-12-20 |
Amin Bandali | specify #:scheme
|
commit | commitdiff | tree |
| 2019-12-20 |
Amin Bandali | add guix.scm for use with guix environment -l guix.scm
|
commit | commitdiff | tree |
| 2019-12-20 |
Amin Bandali | add `title' to post tags, ask people to email me directly...
|
commit | commitdiff | tree |
| 2019-12-20 |
Amin Bandali | use two date formats (the second one more verbose,...
|
commit | commitdiff | tree |
| 2019-12-20 |
Amin Bandali | remove some vestigial files, add (gnu) favicon
|
commit | commitdiff | tree |
| 2019-12-18 |
Amin Bandali | small Makefile fixes
|
commit | commitdiff | tree |
| 2019-12-07 |
Amin Bandali | break haunt.scm down into smaller (bandali *) modules
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | avoid repetition of post list table code
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | tweak feed icons and tag list styles
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | implement tag pages
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | add post-specific copyright years
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | add page-specific copyright years
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | small tweaks to the arch post
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | tweak date format, add .gitignore and Makefile
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | add old arch on air post
|
commit | commitdiff | tree |
| 2019-12-06 |
Amin Bandali | tweak license info and footer
|
commit | commitdiff | tree |
| 2019-12-05 |
Amin Bandali | further tweak style and fix indentation
|
commit | commitdiff | tree |
| 2019-12-05 |
Amin Bandali | simplify link styles and use text-decoration
|
commit | commitdiff | tree |
| 2019-12-05 |
Amin Bandali | tweak link style
|
commit | commitdiff | tree |
| 2019-12-02 |
Amin Bandali | implement optional last updated date for posts
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | various tweaks
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | use table for my-collection-template
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | add static se212-f19 page
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | add static cv page
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | slight tweaks
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | avoid repeating the site url
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | add static contact page
|
commit | commitdiff | tree |
| 2019-11-30 |
Amin Bandali | replace uses of `a' with my more convenient `aa' wrapper
|
commit | commitdiff | tree |
| 2019-11-29 |
Amin Bandali | add public inbox notice at the end of posts, simplify...
|
commit | commitdiff | tree |
| 2019-11-29 |
Amin Bandali | add static license page
|
commit | commitdiff | tree |
| 2019-11-29 |
Amin Bandali | tweak wording on index, add rss, adjust feed file-names
|
commit | commitdiff | tree |
| 2019-11-29 |
Amin Bandali | various style tweaks
|
commit | commitdiff | tree |
| 2019-11-29 |
Amin Bandali | begin work on porting to haunt
|
commit | commitdiff | tree |
| 2019-11-21 |
Amin Bandali | commit another bunch of changes
|
commit | commitdiff | tree |
| 2019-09-14 |
Amin Bandali | commit recent changes
|
commit | commitdiff | tree |
| 2019-08-29 |
Amin Bandali | add now page
|
commit | commitdiff | tree |
| 2019-08-18 |
Amin Bandali | experiment with linking h1
|
commit | commitdiff | tree |
| 2019-08-17 |
Amin Bandali | tweak publication styles
|
commit | commitdiff | tree |
| 2019-08-17 |
Amin Bandali | add “on the side” bit
|
commit | commitdiff | tree |
| 2019-08-17 |
Amin Bandali | title-case <title>s
|
commit | commitdiff | tree |
| 2019-08-17 |
Amin Bandali | add publications page
|
commit | commitdiff | tree |
| 2019-08-14 |
Amin Bandali | use bandali.eu.org
|
commit | commitdiff | tree |
| 2019-08-05 |
Amin Bandali | add wip cv and research interests pages
|
commit | commitdiff | tree |
| 2019-08-05 |
Amin Bandali | make main narrower
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | be more or less consistant with curly quotes
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | write in “normal” capitalization, but apply lowercase...
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | add blurb about me to front page
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | adjust line-height
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | add custom 404 page
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | fix some spacing issues
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | simplify and use css grids
|
commit | commitdiff | tree |
| 2019-07-31 |
Amin Bandali | start next iteration of the site, now available at...
|
commit | commitdiff | tree |
| 2019-07-20 |
Amin Bandali | update twttr handle
|
commit | commitdiff | tree |
| 2019-07-19 |
Amin Bandali | update accounts
|
commit | commitdiff | tree |
| 2019-07-19 |
Amin Bandali | back to using bandali@ instead of mab@ as my primary...
|
commit | commitdiff | tree |
| 2019-07-19 |
Amin Bandali | Revert "change of username from amin to mab"
|
commit | commitdiff | tree |
| 2019-07-14 |
Amin Bandali | change of username from amin to mab
|
commit | commitdiff | tree |
| 2019-07-14 |
Amin Bandali | fix Home link in breadcrumb
|
commit | commitdiff | tree |
| next |
projects / ~bandali / bndl.org / search