r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 03ec9c2e1d chore: Cleanup the JSX parser a bit Henrik Böving 2021-12-17 15:59:33 +0100
  • dc5c2ab92a chore: Add an HtmlT if we need more monads later on Henrik Böving 2021-12-17 15:59:04 +0100
  • cb582aab57 feat: Some more progress logging Henrik Böving 2021-12-15 12:02:05 +0100
  • b019faf7ba feat: An initial list of declarations and their kinds Henrik Böving 2021-12-15 11:59:36 +0100
  • 2adf5125c1 feat: Fix outputs paths Henrik Böving 2021-12-15 11:59:13 +0100
  • d5915fcb13 Revert "feat: Fix siteRoot in JS" Henrik Böving 2021-12-15 11:25:10 +0100
  • dcd57e8c5f feat: Fix siteRoot in JS Henrik Böving 2021-12-15 09:32:21 +0100
  • 686f111438 chore: Split Output.lean into multiple files Henrik Böving 2021-12-15 09:24:49 +0100
  • 551eeee09d feat: import nav.js Henrik Böving 2021-12-13 21:36:21 +0100
  • ef8ecec0d7 feat: Implement visibility in the navbar Henrik Böving 2021-12-13 21:27:08 +0100
  • d2594669fa feat: Revamp the hierarchy mechanism Henrik Böving 2021-12-13 20:47:52 +0100
  • 9256aaa0fc feat: 404 page and module hierarchy Henrik Böving 2021-12-13 13:00:53 +0100
  • 5e5bbe6ffb chore: Update lean toolchain Henrik Böving 2021-12-12 13:33:24 +0100
  • dbbe11da0a chore: In file licensing Henrik Böving 2021-12-12 13:28:52 +0100
  • 40ec833623 doc: Basic usage in README Henrik Böving 2021-12-12 13:27:38 +0100
  • ded884ce9c feat: HTML Index + CSS Henrik Böving 2021-12-12 13:21:53 +0100
  • fcfe11e168 feat: Hierarchy datatype Henrik Böving 2021-12-12 13:20:44 +0100
  • 0f0a355a93 feat: include_str macro for static file inclusion Henrik Böving 2021-12-12 13:20:03 +0100
  • 0719fd6e30 feat: Allow Array Html as child of an HTMl node Henrik Böving 2021-12-12 13:18:48 +0100
  • 413a24da56 feat: improve HTML to String a bit Henrik Böving 2021-12-12 13:18:24 +0100
  • c2da7afd76 chore: Update compiler and fix minor breaking change Henrik Böving 2021-12-11 14:26:32 +0100
  • e9a9e17439 feat: Basic Html to String converter Henrik Böving 2021-12-10 15:24:38 +0100
  • 11de4f7f55 chore: Import ToHtmlFormat https://github.com/leanprover/lean4/pull/723 Henrik Böving 2021-12-10 14:30:39 +0100
  • 77cb52e9cb chore: Inline licensing Henrik Böving 2021-12-10 13:29:04 +0100
  • 7785c9f5bd feat: Fetch declaration ranges for constants Henrik Böving 2021-12-05 15:45:19 +0100
  • 29a249e8fd feat: Automatic search path + modules as CLI arguments Henrik Böving 2021-12-05 14:56:25 +0100
  • 4d8aa10ecb chore: Little refactoring for Name x Syntax tuples Henrik Böving 2021-12-05 02:54:38 +0100
  • 821d57fd1c feat: Also print parents in structures and classes Henrik Böving 2021-12-04 23:40:59 +0100
  • b60eca730f chore: Fill universe MVars and remove out of date TODOs Henrik Böving 2021-12-04 23:33:21 +0100
  • 82c78d29bd feat: rudimentary structure field support Henrik Böving 2021-12-04 22:33:00 +0100
  • b8cf967b84 chore: Focus on basic declarations for now Henrik Böving 2021-12-04 22:32:34 +0100
  • ac8d9e254e feat: parenthesize in the pretty printer Henrik Böving 2021-12-04 22:31:10 +0100
  • 8c30f29542 feat: Instance support Henrik Böving 2021-12-03 20:37:25 +0100
  • a6979dd3d4 feat: Rudamentary class support Henrik Böving 2021-12-02 11:17:46 +0100
  • 989e7bce2b feat: Filter projection functions from defs Henrik Böving 2021-12-02 11:09:54 +0100
  • 006b92deaa feat: Rudamentary structure support Henrik Böving 2021-12-02 10:34:20 +0100
  • 21bcc3d0bc feat: Print definitions and inductives Henrik Böving 2021-12-01 18:25:22 +0100
  • d2fddd7cff feat: Print count of declarations and modules processed Henrik Böving 2021-12-01 18:25:11 +0100
  • 54d7f92f2b feat: Count declarations that were processed Henrik Böving 2021-11-28 21:39:55 +0100
  • dd0cebb44a feat: Sort everything into modules instead of just declaration lists Henrik Böving 2021-11-28 21:31:22 +0100
  • 2574c22e4a feat: First experimentations Henrik Böving 2021-11-27 16:19:56 +0100
  • deb6739fcc chore: Initial Lake project Henrik Böving 2021-11-27 16:19:45 +0100
  • 43356fe5e8
         Initial commit Leonardo de Moura 2021-11-10 17:41:28 -0800