Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

.v file support. #87

Draft
wants to merge 67 commits into
base: main
Choose a base branch
from
Draft

.v file support. #87

wants to merge 67 commits into from

Conversation

DikieDick
Copy link
Contributor

No description provided.

DikieDick and others added 30 commits February 7, 2024 11:19
@DikieDick
Parse input and hint blocks
f16c0b8
@DikieDick
Add support for mathdisplay and coq top level nodes
8eaedf5
@DikieDick
Add support for top level markdown
4781adc
@DikieDick
Add support for coqdoc
b75f829
@DikieDick
Turn blocks into prosemirror nodes
543fefe
@DikieDick
Add tests for inner block extraction
e440497
@DikieDick
Add basic support for .v files
f2abc3a
@DikieDick
Experimental: Construct document using new parser
b42d66a
@DikieDick
Menubar: Split cases of '.v' vs '.mv' file
c3bdd43
@DikieDick
Menubar: Split cases of '.v' vs '.mv' file
72658c8
@DikieDick
Update issue templates (#69)
d720310 
* Update issue templates

* Update issue templates
@DikieDick
Styling: Unify the styling of coq code and coq doc
0501876
@DikieDick
Merge branch 'prosemirror-document-construction' of github.com:imperm…
87887d0 
…eable/waterproof-vscode into prosemirror-document-construction
@XyntaxCS
Initial commit
9915475
@DikieDick
Merge remote-tracking branch 'origin/textdocmappingVfiles' into prose…
10a4825 
…mirror-document-construction
@DikieDick
Move mappings to common location
7ed5e80
@DikieDick
Choose correct TextDocMapping based on the file format.
f1348f5
@DikieDick
Remove debug console.log statements and unused imports.
4ec3e01
@DikieDick
Add .vscode/settings file.
e2388a6 
This settings gets rid of the errors telling us that `matchAll` is not supported by
telling vscode to use the correct version of typescript that we use.
@DikieDick
Merge branch 'main' into prosemirror-document-construction
f403ea9
@DikieDick
Fix no input area bug.
7e84921 
Previously a document without any input areas would throw
a 'failed to create pm webview' error. This has been fixed by implementing
an early return in the case that there are no input areas in the document.

Also includes nicer debug print of 'failed to create pm editor'.
@DikieDick
Fix import in unit test for text doc mapping.
e776d0e 
Plus remove console.log cluttering the output.
@DikieDick
Tests: Update tests to reflect what the old parser did
e988062
@DikieDick
Fix: Coqdoc comment content should *not* include the space before the…
5a9b6fc 
… closing `*)`
@DikieDick
Add support for inputs and hints in v files.
c04232d 
Input can be created with `(* begin input *)` and `(* end input *)`.
Hint can be created with `(* begin hint : [title] *)` and `(* end hint *)`.
@DikieDick
Update client options to include .v file support in lsp-client.
7570593
@DikieDick
Only show coq with coqdoc tag in .mv files.
cae8731
@DikieDick
Remove console.log from test
b7a1312
@DikieDick
Update tests for new parser
0350076
@DikieDick
Remove comparison files from repository.
4378727
DikieDick and others added 25 commits May 3, 2024 19:53
@DikieDick
Update tests to reflect new document construction internals.
0f24477
@DikieDick
Merge branch 'prosemirror-document-construction' of github.com:imperm…
6ae61b5 
…eable/waterproof-vscode into prosemirror-document-construction
@DikieDick
Remove fix for "<" bug.
a7cddcd 
This fix is no longer needed with the introduction of the new way
of constructing ProseMirror documents.
@DikieDick
Disable editor in .v file case (for now)
7fc2569
@DikieDick
Enable editor in file cases
f3d8c2d
@DikieDick
Merge branch 'main' into v-file-support
920ccde
@DikieDick
Remove markdown tags in .v file case
b46a6ed
@XyntaxCS
TextDocMapping update
54272b2
@DikieDick
Remove redundant comment
cbbd7d6
@DikieDick
Fix bug that non empty coqcells empty
3f910a3 
There was a big in the empty coq cell code that caused the parser
to consider a coqcell containing only coqdoc as empty.
@driverag22
Fixed v-file coqblock styling problem
6a9b43a
@DikieDick
Fix typo preventing return of coq 'markdown' nodes.
1c7e894
@DikieDick
Menubar: General utility for escaping containing nodes.
d9a6271
@XyntaxCS
Update vFileMapping
30abef7
@XyntaxCS
Merge branch 'v-file-support' of https://github.com/impermeable/water…
a4c89ba 
…proof-vscode into v-file-support
@DikieDick
Merge branch 'v-file-support' of github.com:impermeable/waterproof-vs…
67b92ab 
…code into v-file-support
@XyntaxCS
MAPPING DONE??!?!??!?!!??!?
69e78e1
@XyntaxCS
Merge branch 'v-file-support' of https://github.com/impermeable/water…
6a67d53 
…proof-vscode into v-file-support
@DikieDick
Remove pruning coqblocks containing "\n" only.
c66f719
@DikieDick
Enable menubar commands in .v files
b319cba
@DikieDick
TEMP Fix for unit tests
15c1898
@XyntaxCS
Implement math-display
abd11d1
@DikieDick
Fix typo
21bc9c8
@DikieDick
Merge branch 'main' into 'v-file-support-new'
cd3e43c
@DikieDick
Add non-regex based approach to encode quoted coq in markdown
6a07d5f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@DikieDick DikieDick

@XyntaxCS XyntaxCS

Labels
Feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@DikieDick @XyntaxCS @driverag22