Commits · 073c5b63112dbac14ecef7b483430c0c51f8ed6b · Pierre Rousselin / jscoq-light

Browse files

May 01, 2023
- [ui] Added search and jump-to-line. · 073c5b63
  Shachar Itzhaky authored May 1, 2023
  073c5b63
Apr 12, 2023
- [meta] Version things. · d686e21c
  Shachar Itzhaky authored Apr 12, 2023
  
  d686e21c
Jan 24, 2023
- [build] Move frontend build to esbuild, always pack. · 3e15336d
  Emilio Jesus Gallego Arias authored Jan 24, 2023
  Unverified
  
  3e15336d
Oct 11, 2022
- [bugfix] Get the correct packages for backend='wa'. · 85c690bc
  Shachar Itzhaky authored Oct 11, 2022
  85c690bc
Sep 21, 2022
- [jscoq] [build] Start of backend / frontend split. · 33544625
  Emilio Jesus Gallego Arias authored Aug 29, 2022
  Unverified
  
  33544625
Sep 09, 2022
- [port] Upgraded Bootstrap. · e069b253
  Shachar Itzhaky authored Sep 9, 2022
  e069b253
Aug 19, 2022
- [cleanup] Removed obsolete examples and adjusted existing ones. · e5df7094
  Shachar Itzhaky authored Aug 19, 2022
  
  e5df7094
- [refactor] Added a top-level `jscoq.js`. · dafe31ab
  Shachar Itzhaky authored Aug 19, 2022
  dafe31ab
Aug 15, 2022
- [refactor] Move CM deps into meta-module `lib`. · f56e24fd
  Shachar Itzhaky authored Aug 15, 2022
  f56e24fd
- [loader] Revert rename JsCoq -> JsCoqLoader · 4af7cefe
  Emilio Jesus Gallego Arias authored Aug 15, 2022
  
  Unverified
  
  4af7cefe
- [jscoq] [modules] Fixes to examples and the loader. · afd9ecd2
  Emilio Jesus Gallego Arias authored Aug 14, 2022
  Unverified
  
  afd9ecd2
- [js] [jscoq] Use ES6 modules, step 1, loader and infra · 99f3c405
  Emilio Jesus Gallego Arias authored Aug 13, 2022
  Unverified
  
  99f3c405
Jul 28, 2022
- [build] Make `bootstrap` a dev dep. · 4c424556
  Shachar Itzhaky authored Jul 28, 2022
  4c424556
May 21, 2022
- [doc] Added link to Coqoban. · a8f68ab8
  Shachar Itzhaky authored May 21, 2022
  
  a8f68ab8
May 16, 2022
- [feature] [jscoqdoc] Accept a user-specified template. · 4f179ccb
  Shachar Itzhaky authored May 16, 2022
  4f179ccb
May 09, 2022
- [doc] Completely shift the focus of the landing page. · 9445e227
  Shachar Itzhaky authored May 9, 2022
  9445e227
- [doc] Completely shift the focus of the landing page. · b49c50d5
  Shachar Itzhaky authored May 9, 2022
  b49c50d5
May 08, 2022
- [ui] Improving contextual info. · ed269963
  Shachar Itzhaky authored May 8, 2022
  ed269963
- [doc] Some flare. · 0d9e0907
  Shachar Itzhaky authored May 8, 2022
  0d9e0907
- [doc] Some flare. · da2d5d9b
  Shachar Itzhaky authored May 8, 2022
  da2d5d9b
- [doc] Minor tweak. · 2629489f
  Shachar Itzhaky authored May 8, 2022
  
  2629489f
- [doc] Minor tweak. · 411bcacb
  Shachar Itzhaky authored May 8, 2022
  
  411bcacb
May 07, 2022
- [doc] Styling: added KaTeX math. · 42917140
  Shachar Itzhaky authored May 7, 2022
  
  42917140
May 06, 2022
- [bugfix] FOUC countermeasures. · f1274941
  Shachar Itzhaky authored May 6, 2022
  
  f1274941
- [doc] Finish landing page text & clean up. · 7fa48fb7
  Shachar Itzhaky authored May 6, 2022
  
  7fa48fb7
- [doc] Landing page: sqrt_2 now replaces inf-primes. · 9b76a1fd
  Shachar Itzhaky authored May 6, 2022
  9b76a1fd
- [doc] Embedded `sqrt_2` proof + walkthrough. · d00fb16a
  Shachar Itzhaky authored May 6, 2022
  
  d00fb16a
- [ui] Some styling corrections. · b59b4c0d
  Shachar Itzhaky authored May 6, 2022
  b59b4c0d
- [doc] Landing page navbar. · 7885522a
  Shachar Itzhaky authored May 5, 2022
  7885522a
May 18, 2021
- [doc] Added link to Coq tutorial. · ee1ba530
  Shachar Itzhaky authored May 18, 2021
  ee1ba530
May 09, 2021
- [doc] Import problem circumvented. · ffe7632f
  Shachar Itzhaky authored May 9, 2021
  ffe7632f
May 08, 2021
- [bugfix] Zulip link restored. · 392d0531
  Shachar Itzhaky authored May 8, 2021
  392d0531
- [doc] Updated landing page. · 174d8e71
  Shachar Itzhaky authored May 8, 2021
  
  174d8e71
Mar 04, 2021
- [doc] Updated documentation with information about sharing snippets. · 169ce445
  Shachar Itzhaky authored Feb 17, 2021
  
  169ce445
Jan 13, 2021
- [gfx] Icon enhancement. · a000a4e5
  Shachar Itzhaky authored Jan 13, 2021
  a000a4e5
Sep 21, 2020
- [cleanup] Normalized key bindings in CodeMirror. · 20b81d7e
  Shachar Itzhaky authored Sep 21, 2020
  20b81d7e
Aug 11, 2020
- [build] Some cleanup. · 31bbfa2b
  Shachar Itzhaky authored Aug 11, 2020
  
  31bbfa2b
Aug 07, 2020
- [feature] [pkg] Package chunks. · dbdcba7a
  Shachar Itzhaky authored Apr 26, 2020
  
  dbdcba7a
Aug 04, 2020
- [doc] Simplify preamble in landing page. · 5225052e
  Shachar Itzhaky authored Aug 3, 2020
  
  5225052e
Apr 04, 2020
- [docs] Small typos. · 8790589e
  Shachar Itzhaky authored Apr 4, 2020
  
  8790589e