amelia
/
agda-reference-filter
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity

Commit Graph

  • 082b557 (HEAD -> master) look for references in divs by Amélia Liao 2021-11-26 18:52:20 -0300
  • 1627cb7 Look for tags inside HTML comments by Amélia Liao 2021-10-07 22:29:13 -0300
  • feea86f hotfix: pre → span by Amélia Liao 2021-10-07 20:58:02 -0300
  • 6ad14fb Allow control of span linking by Amélia Liao 2021-10-07 20:52:26 -0300
  • 824ab23 move example by Amélia Liao 2021-10-07 18:59:43 -0300
  • bfb12cd first commit by Amélia Liao 2021-10-07 18:58:24 -0300