Blame · .gitmodules · 32f4d98be332d398f3da61109d9a906ac82f6e91 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

.gitmodules 260 B

Newer Older

[cm] Update submodules, TeX-input has its own repo.

Emilio Jesus Gallego Arias committed 9 years ago

[submodule "CodeMirror-TeX-input"]

[jscoq] [build] Start of backend / frontend split.

Emilio Jesus Gallego Arias committed 2 years ago

	path = frontend/classic/external/CodeMirror-TeX-input

[cm] Update submodules, TeX-input has its own repo.

Emilio Jesus Gallego Arias committed 9 years ago

	url = https://github.com/ejgallego/CodeMirror-TeX-input.git

[build] Adjust vendoring paths + deps

Emilio Jesus Gallego Arias committed 2 years ago

[submodule "vendor/coq-serapi"]
	path = vendor/coq-serapi

[jscoq] Use JSON serializers from SerAPI for Coq types.

Emilio Jesus Gallego Arias committed 5 years ago

	url = https://github.com/ejgallego/coq-serapi.git