Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 15, 2024

• fix(pp): multi-line string

  tomtomjhj

  committedSep 15, 2024
  01c4893

• refactor: separate file for pp

  tomtomjhj

  committedSep 15, 2024
  565fea1

Commits on Sep 14, 2024

• refactor(render): space → cursor

  tomtomjhj

  committedSep 14, 2024
  778104d

• fix(render): forced newline in message

  tomtomjhj

  committedSep 14, 2024
  71c30e5

• feat: hide/show shelved/admitted goals

  tomtomjhj

  committedSep 14, 2024
  4793060

• fix(default): vscoq.goals.messages.full = true from 2.1.6

  tomtomjhj

  committedSep 14, 2024
  be5d410

• fix: message pretty printing

  tomtomjhj

  committedSep 14, 2024
  0626655

• feat: pretty printing

  tomtomjhj

  committedSep 14, 2024
  ceecc61

• docs: improve types

  tomtomjhj

  committedSep 14, 2024
  4dfc59b

Commits on Aug 18, 2024

• docs: configuration

  tomtomjhj

  committedAug 18, 2024
  62ac9bf

• fix: support 2.1.7

  tomtomjhj

  committedAug 18, 2024
  64579b1

Commits on Aug 17, 2024

• fix: type annotations

  tomtomjhj

  committedAug 17, 2024
  b220683

Commits on Feb 28, 2024

• fix: step commands in vscoq≥2.1.2

  tomtomjhj

  committedFeb 28, 2024
  03b62d6

Commits on Jan 27, 2024

• feat: jumpToEnd

  tomtomjhj

  committedJan 27, 2024
  0691ba7

Commits on Dec 8, 2023

• fix: restore view after updating proofview window

  tomtomjhj

  committedDec 8, 2023
  0dee175

• Create LICENSE

  tomtomjhj

  committedDec 8, 2023
  15c078a

Commits on Nov 28, 2023

• feat: resetCoq

  tomtomjhj

  committedNov 28, 2023
  c7589b8

Commits on Nov 26, 2023

• docs: update

  tomtomjhj

  committedNov 26, 2023
  5502f74

• feat!: subcommand interface

  tomtomjhj

  committedNov 26, 2023
  2194f81

• refactor: move rendering stuff to a separate file

  tomtomjhj

  committedNov 26, 2023
  1055aa2

Commits on Nov 20, 2023

• feat: other queries

  tomtomjhj

  committedNov 20, 2023
  8cc9b01

Commits on Oct 21, 2023

• docs: see also

  tomtomjhj

  committedOct 21, 2023
  465513c

Commits on Oct 12, 2023

• fix: delete panels on exit

  tomtomjhj

  committedOct 12, 2023
  fa8fb05

Commits on Oct 8, 2023

• refactor: client id mapping

  tomtomjhj

  committedOct 8, 2023
  a803f59

Commits on Oct 7, 2023

• refactor: split files and format with stylua

  tomtomjhj

  committedOct 7, 2023
  028aa46

• docs: update readme

  tomtomjhj

  committedOct 7, 2023
  96a5409

• feat: fully render ProofViewNotification

  tomtomjhj

  committedOct 7, 2023
  649cbaf

• feat: search query and unique panels

  tomtomjhj

  committedOct 7, 2023
  32a95d9

Commits on Oct 3, 2023

• chore: cleanup TODOs

  tomtomjhj

  committedOct 3, 2023
  8ae42ca

• fix: command definitions and cleanup

  tomtomjhj

  committedOct 3, 2023
  87e8a2d

• docs: readme

  tomtomjhj

  committedOct 3, 2023
  772e269

• wip: cleanup

  tomtomjhj

  committedOct 3, 2023
  989260b

• wip: manual mode

  tomtomjhj

  committedOct 3, 2023
  c3c8a72

• wip: basic proofView rendering

  tomtomjhj

  committedOct 3, 2023
  cbbddee

Commits on Oct 2, 2023

• wip: print proofView contents

  tomtomjhj

  committedOct 2, 2023
  abba621

Pagination

PreviousNext