Commits · 2a40a0b19080af4e0a0b30aa9f67b101dfc3d366 · David Hamelin / jscoq-light · GitLab

Oct 15, 2024
- Styling read-only blocks · a6e7dc80
  David Hamelin authored Oct 15, 2024
  
  a6e7dc80
- Added read-only blocks · 9420ae38
  David Hamelin authored Oct 15, 2024
  
  9420ae38
- Removed debug information · de3e9907
  David Hamelin authored Oct 15, 2024
  
  de3e9907
- Implemented begin details and end details · 7c793738
  David Hamelin authored Oct 15, 2024
  
  7c793738
Sep 27, 2024
- Added coq syntax highlighting without editor · eaad2ec2
  David Hamelin authored Sep 27, 2024
  
  eaad2ec2
Sep 16, 2024
- Added a minimal readme · 77fe13f4
  David Hamelin authored Sep 16, 2024
  
  77fe13f4
Sep 02, 2024
- Removed p2p sharing, added multi-snippet load+save · 428efb6c
  David Hamelin authored Sep 2, 2024
  
  428efb6c
Aug 08, 2023
- [misc] Package `hahn` is no longer maintained. · cdae4df9
  Shachar Itzhaky authored Aug 8, 2023
  
  cdae4df9
- [misc] Exported FormatPrettyPrint. · 84638c2b
  Shachar Itzhaky authored Aug 8, 2023
  84638c2b
Jul 04, 2023
- [bugfix] Path fixes. · ab626387
  Shachar Itzhaky authored Jul 4, 2023
  
  ab626387
Jun 21, 2023
- Remove unused webpack config · 4b2709e6
  Elad Kinsbruner authored Jun 21, 2023
  
  4b2709e6
- Saving and loading from Gist using the Scratchpad · 4e92f15c
  Elad Kinsbruner authored Jun 21, 2023
  
  4e92f15c
Jun 19, 2023
- Integrate with coq-manager · 68b29a17
  Elad Kinsbruner authored Jun 19, 2023
  
  68b29a17
Jun 07, 2023
- Decode from base 64 · a0b7a1c6
  Elad Kinsbruner authored Jun 7, 2023
  
  a0b7a1c6
- Added Gist saving and loading and tester HTML page · 22298fdc
  Elad Kinsbruner authored Jun 7, 2023
  
  22298fdc
May 01, 2023
- [ui] Added search and jump-to-line. · 073c5b63
  Shachar Itzhaky authored May 1, 2023
  073c5b63
Feb 01, 2023
- [layout] Port to TS · 34549801
  Emilio Jesus Gallego Arias authored Jan 31, 2023
  
  Unverified
  
  34549801
Jan 30, 2023
- [package manager] Port to TS · 1af3f4a9
  Emilio Jesus Gallego Arias authored Jan 30, 2023
  
  Unverified
  
  1af3f4a9
- [editor] Port editor code to TS. · b91ca1fa
  Emilio Jesus Gallego Arias authored Jan 30, 2023
  
  Unverified
  
  b91ca1fa
Jan 24, 2023
- [build] Resurrect ide-project and collab addon · 6926dcbc
  Emilio Jesus Gallego Arias authored Jan 24, 2023
  
  Unverified
  
  6926dcbc
- [build] Move frontend build to esbuild, always pack. · 3e15336d
  Emilio Jesus Gallego Arias authored Jan 24, 2023
  Unverified
  
  3e15336d
Jan 05, 2023
- [format-pprint] Use some types for Coq's `Pp.t` · 0d4119f5
  Emilio Jesus Gallego Arias authored Jan 5, 2023
  Unverified
  
  0d4119f5
- [build] Make format-pprint into its own library, part II: dead code + leaning · 79d1c64a
  Emilio Jesus Gallego Arias authored Jan 5, 2023
  Unverified
  
  79d1c64a
- [build] Make format-pprint into its own library, part I: js files · 8d766a79
  Emilio Jesus Gallego Arias authored Jan 5, 2023
  Unverified
  
  8d766a79
Oct 12, 2022
- [build] Remove obsolete files, find new home for cli files · 0c8e9bc3
  Emilio Jesus Gallego Arias authored Oct 12, 2022
  Unverified
  
  0c8e9bc3
Oct 11, 2022
- [bugfix] Get the correct packages for backend='wa'. · 85c690bc
  Shachar Itzhaky authored Oct 11, 2022
  85c690bc
- [bugfix] Silly namespace injection! · 32eb6657
  Shachar Itzhaky authored Oct 11, 2022
  32eb6657
- [bugfix] Silly namespace injection! · 9fe17f0e
  Shachar Itzhaky authored Oct 11, 2022
  9fe17f0e
Oct 05, 2022
- [build] Corrected paths and targets for packaging. · 1ad92201
  Shachar Itzhaky authored Oct 5, 2022
  
  1ad92201
Oct 03, 2022
- [refactor] Unified package manifest format. · 9640f400
  Shachar Itzhaky authored Oct 3, 2022
  9640f400
Oct 02, 2022
- [refactor] Working towards a unified worker ABI. · 09dbbe2c
  Shachar Itzhaky authored Oct 2, 2022
  09dbbe2c
Sep 21, 2022
- [backend] Some better types and a bit of refactoring. · b773eb0b
  Emilio Jesus Gallego Arias authored Aug 22, 2022
  Unverified
  
  b773eb0b
- [frontend] Put headless frontend in its own directory. · c918b388
  Emilio Jesus Gallego Arias authored Aug 22, 2022
  
  Unverified
  
  c918b388
- [backend] Port backend javascript object to TypeScript. · 7bd7ae0e
  Emilio Jesus Gallego Arias authored Aug 22, 2022
  Unverified
  
  7bd7ae0e
- [cli] Show build times + display improvs in Makefile. · c30f61da
  Emilio Jesus Gallego Arias authored Aug 29, 2022
  
  Unverified
  
  c30f61da
- [jscoq] [build] Start of backend / frontend split. · 33544625
  Emilio Jesus Gallego Arias authored Aug 29, 2022
  Unverified
  
  33544625