phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 4266c090db WIP progress on world overviews joneugster 2023-10-23 15:41:29 +0200
  • b70ac78cf7 split Typewriterinterface and catch promise file close error #127 joneugster 2023-10-22 01:00:17 +0200
  • 853f797157 add comment for rpc bug joneugster 2023-10-21 04:20:19 +0200
  • 84ad619537 Improve input and deletion of typewriter #122 joneugster 2023-10-21 03:16:57 +0200
  • b6bc77828d remove 'Exercise' word #123 joneugster 2023-10-21 02:21:05 +0200
  • ceee1b38e1 move circular loading joneugster 2023-10-21 02:13:44 +0200
  • b5927a1024 Fix assumption display in inventory and editor mode #84 joneugster 2023-10-20 21:59:47 +0200
  • 2b159f508f move test joneugster 2023-10-20 17:59:46 +0200
  • 30f9d46489 check for structural recursion #117 joneugster 2023-10-19 13:46:44 +0200
  • 5de8ce8be7 fixes of lean bump joneugster 2023-10-19 12:10:58 +0200
  • 2de82a1106 fix from lean bump joneugster 2023-10-18 14:57:14 +0200
  • ca58cb0e78 typo joneugster 2023-10-18 14:56:53 +0200
  • ec96f2c80e bump lean-toolchain joneugster 2023-10-18 14:53:42 +0200
  • cafe74a22b add file joneugster 2023-10-18 14:49:30 +0200
  • cc4321ff3f Turn some logInfo into trace[debug] to toggle the off for building joneugster 2023-10-17 16:01:39 +0200
  • 19592668ae documentation joneugster 2023-10-17 02:06:32 +0200
  • 556c072cef NewLemma checks if specified theorem exists and searches for docstrings joneugster 2023-10-17 02:05:17 +0200
  • bb0ba83f18 load arbitrary games with tags g/local/FolderName joneugster 2023-10-16 21:24:50 +0200
  • 0c65a2e4f1 reorganise popups joneugster 2023-10-16 15:20:00 +0200
  • 06aa5d5339 help button explaining Game Rules joneugster 2023-10-16 14:59:55 +0200
  • 63a0d8d5f0 typo joneugster 2023-10-16 04:30:44 +0200
  • a09f342faf
         Fix major typo #120 grhkm21 2023-10-15 11:54:35 +0100
  • d66546a7f1 fix empty typewriter containing two lines joneugster 2023-10-15 03:16:27 +0200
  • caee7195db lean4game.verbose option joneugster 2023-10-15 03:15:02 +0200
  • 2b5c42a3c5 insert template when editor empty joneugster 2023-10-14 14:53:19 +0200
  • 4ca570e232 landing page html joneugster 2023-10-14 14:24:39 +0200
  • ae5413f82e improve world tree joneugster 2023-10-13 22:58:08 +0200
  • 60069191dd update doc joneugster 2023-10-13 22:57:42 +0200
  • 9cd44911a4 strip newlines when switching to typewriter joneugster 2023-10-13 15:50:38 +0200
  • 047c5ae268 force editor mode if template present joneugster 2023-10-10 12:07:04 +0200
  • 04038a32c8 fix inventory local storage joneugster 2023-10-09 23:25:28 +0200
  • 6970f10e30
         Merge pull request #116 from leanprover-community/eugster/level-error-msg Jon Eugster 2023-10-10 10:07:26 +0200
  • 165c0e176a typo joneugster 2023-10-09 14:29:49 +0200
  • 7563963c34 npm update and landing page update joneugster 2023-10-09 12:29:16 +0200
  • 7016173f53 tweak world tree Jon Eugster 2023-10-09 11:20:11 +0200
  • 6ce5131c63 open-book icon for closing inventory button on mobile #89 Jon Eugster 2023-10-09 10:41:56 +0200
  • 0b1fe3baf1 Update DOCUMENTATION.md #111 Jon Eugster 2023-10-08 13:03:19 +0200
  • b2936e0200 show typewriter input as disabled if non-primary goal is selected Jon Eugster 2023-10-08 01:54:46 +0200
  • 24eed37f89 split intro text consistently into bubbles #100 Jon Eugster 2023-10-08 00:46:03 +0200
  • 3a3471c615 throw error in regular difficulty if tactic not unlocked Jon Eugster 2023-10-08 00:24:11 +0200
  • 8730c2067c uniform impressum everywhere #96 Jon Eugster 2023-10-07 23:31:26 +0200
  • 5257865b47 highlight only goals without command #115 Jon Eugster 2023-10-07 22:49:37 +0200
  • 9689b8ca53 rename filename to typewriter Jon Eugster 2023-10-07 22:14:07 +0200
  • 7b26280ae9 rename commandline to typewriter #107 Jon Eugster 2023-10-07 22:07:02 +0200
  • c3a36e2cf3 change name from lemma to theorem #108 Jon Eugster 2023-10-07 21:23:23 +0200
  • 6e046d72b6 show error on duplicated level number #116 Jon 2023-10-07 21:03:44 +0200
  • 78ef3e0755 test ubuntu-20.04 ubuntu-test Alexander Bentkamp 2023-10-04 13:40:26 +0200
  • 923a6cfb4f delete outdated local storage Alexander Bentkamp 2023-10-04 11:19:01 +0200
  • 2254f594fa repair tooltips Alexander Bentkamp 2023-10-03 10:56:09 +0200
  • 972213ec69 hide hidden items everywhere Alexander Bentkamp 2023-10-03 10:17:16 +0200
  • c59444aab5 add notes Alexander Bentkamp 2023-10-02 22:24:04 +0200
  • 8db364748b fix data undefined issue Alexander Bentkamp 2023-10-02 22:23:55 +0200
  • a423681150 fix hidden items Alexander Bentkamp 2023-10-02 20:23:13 +0200
  • a445635a99 remove some vulnerable dependencies Alexander Bentkamp 2023-10-02 16:56:10 +0200
  • 5c919fb983 Add NewHiddenTactic command Alexander Bentkamp 2023-10-02 12:50:19 +0200
  • 1d49535fcf remove docstring warning if TacticDoc is provided Alexander Bentkamp 2023-09-25 15:09:32 +0200
  • c50517b5e6
         clicking on level 1 opens the introduction Jon Eugster 2023-09-21 17:39:09 +0200
  • f70aab29ed close level immediately when leaving it Alexander Bentkamp 2023-09-12 11:15:09 +0200
  • a7dab88747 remove old debug code Alexander Bentkamp 2023-09-12 10:14:01 +0200
  • ade2074598 remove unecessary stuff Jon Eugster 2023-09-10 21:06:31 +0200
  • b01dd1de6e stuff Jon Eugster 2023-09-10 16:15:41 +0200
  • 87cb299b1f bump lean Jon Eugster 2023-09-10 14:39:55 +0200
  • 37f2d50e77 add LEAN4GAME_SINGLE_GAME env variable Jon Eugster 2023-09-10 14:39:30 +0200
  • 98ea870a43 small fixes Jon Eugster 2023-09-01 20:09:49 +0200
  • 22f0bac569 fix Jon Eugster 2023-09-01 13:44:58 +0200
  • 9c6ed17113 coulour introduction texts #100 Jon Eugster 2023-09-01 13:04:22 +0200
  • 4d4d2a59e7 uniform layout for world introduction #94 Jon Eugster 2023-09-01 12:35:09 +0200
  • 6371f77379 satisfy unused variable linter Jon Eugster 2023-09-01 12:11:49 +0200
  • 73b80e714d improve welcome page Jon Eugster 2023-09-01 11:52:11 +0200
  • db5cfbc433 new design for welcome page #96 Jon Eugster 2023-08-31 18:15:15 +0200
  • 42eaedda70 css for loading circle Jon Eugster 2023-08-31 14:48:57 +0200
  • 6437013479
         bump lean-toolchain Jon Eugster 2023-08-31 13:38:11 +0200
  • a26736aff8 bump toolchain #99 Scott Morrison 2023-08-31 14:49:36 +1000
  • 2bc0bb22f3 world size varies with number of levels #95 Jon Eugster 2023-08-30 17:34:05 +0200
  • 714634fe5a bug where commandline would be hidden Jon Eugster 2023-08-30 17:31:49 +0200
  • d7fdd95cab uniform design of toggle buttons #89 Jon Eugster 2023-08-29 10:15:00 +0200
  • c738695e81 spacing around proof step #92 Jon Eugster 2023-08-28 12:37:11 +0200
  • eb8fa91319 style old goal states #93 Jon Eugster 2023-08-28 12:24:05 +0200
  • 88860d277d rename game modes #97 Jon Eugster 2023-08-28 11:40:01 +0200
  • 50ec616b8e automate lemmaTab #88 Jon Eugster 2023-08-28 11:33:01 +0200
  • 764ed558e7 move exercise statement #91 Jon Eugster 2023-08-28 11:16:55 +0200
  • 30c5648efb wip client modifications #118 Jon Eugster 2023-08-28 11:07:09 +0200
  • 8be7f2f17b modify client api to include template Jon Eugster 2023-08-25 18:06:26 +0200
  • b6ea453084 add Template server-side Jon Eugster 2023-08-25 18:04:10 +0200
  • 25f2f08309 fix inventory overview Jon Eugster 2023-08-12 12:50:26 +0200
  • 70d30d1212 fix panics due to HashMap.find! Jon Eugster 2023-08-12 12:17:22 +0200
  • 735f58be95 small improvements to the client Jon Eugster 2023-08-11 18:25:41 +0200
  • d00a2337d4 elan home dynamically Alexander Bentkamp 2023-08-09 15:23:10 +0200
  • dc144d1979 use bubblewrap Alexander Bentkamp 2023-08-09 14:33:38 +0200
  • adb93e30bd update documentation Jon Eugster 2023-08-07 12:54:22 +0200
  • 0b14489911 use docComment for statement description Jon Eugster 2023-08-07 01:16:02 +0200
  • 9ef4122e94 add allowed keywords 'by' and 'to' Jon Eugster 2023-08-06 23:52:11 +0200
  • cd0417dc36 bump toolchain Jon Eugster 2023-08-06 23:51:32 +0200
  • de1bdc1d20
         Merge pull request #83 from alexjbest/attr Jon Eugster 2023-08-06 23:58:22 +0200
  • a00edfa884
         Update DOCUMENTATION.md Jon Eugster 2023-08-06 19:33:28 +0200
  • 88e9ee7155 better #83 Alex J. Best 2023-08-04 17:56:16 +0100
  • 5072dacf94 fix new items in inventory Jon Eugster 2023-08-04 18:37:47 +0200
  • 65ed45fe16 add attributes Alex J. Best 2023-08-04 16:56:36 +0100
  • f5eb185eb2 Merge branch 'dev' Jon Eugster 2023-08-04 10:30:06 +0200
  • 8cbe9f0ba8 documentation Jon Eugster 2023-08-04 10:29:46 +0200