Files

 coq-8.20

/

html

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

SwampertX

and

yforster

Point 'index' in CoqDocJS header to index.html (#1094)

Jan 27, 2025

25f8016 · Jan 27, 2025

History

History

/

html

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
resources		resources	Point 'index' in CoqDocJS header to index.html (#1094)	Jan 27, 2025
config.js		config.js	coqdocjs	Jul 1, 2022
coqdoc.css		coqdoc.css	coqdocjs	Jul 1, 2022
coqdocjs.css		coqdocjs.css	coqdocjs	Jul 1, 2022
coqdocjs.js		coqdocjs.js	coqdocjs	Jul 1, 2022
View all files