issues
search
affeldt-aist
/
coq2html
An HTML documentation generator for Coq source files
GNU General Public License v2.0
1
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Rebase xavierleloy/master
#51
yoshihiro503
closed
3 days ago
0
Rebase xavierleroy/master 2024/07/19
#50
yoshihiro503
closed
3 days ago
0
compilation with OCaml 11
#49
affeldt-aist
opened
1 month ago
0
feat: :sparkles: perfect notation support, but maybe it's too slow
#48
yoshihiro503
closed
1 week ago
1
Draft: docs: :memo: introduce documentation for developers
#47
yoshihiro503
closed
3 days ago
0
refactor: :bug: :recycle: eliminate the occurrence of warnings issue #44
#46
yoshihiro503
closed
1 month ago
0
Fix #17
#45
proux01
closed
1 month ago
0
Compilation warnings
#44
proux01
opened
4 months ago
0
sumbool notation
#43
yoshihiro503
opened
4 months ago
0
Notation after closing parenthesis
#42
yoshihiro503
opened
4 months ago
1
clickable notations
#41
yoshihiro503
closed
4 months ago
0
update README
#40
affeldt-aist
closed
5 months ago
0
inconsistent treatment of `|2`
#39
affeldt-aist
opened
5 months ago
1
support ocaml5
#38
yoshihiro503
closed
5 months ago
0
introduce -fragile-mathcomp-break
#37
yoshihiro503
closed
5 months ago
1
Fix link to monae HTML
#36
yoshihiro503
closed
5 months ago
0
Add documentation for automatic build with GitHub actions
#35
hoheinzollern
opened
5 months ago
0
Does not build with OCaml 5
#34
hoheinzollern
closed
5 months ago
1
publishing (pre-)releases
#33
hoheinzollern
opened
5 months ago
0
reaching the end of line in a comment creates inconsistent behaviour in the output
#32
hoheinzollern
opened
5 months ago
3
fix the problem that the file names of html looks like "Foo...Abc.v"
#31
yoshihiro503
closed
5 months ago
0
fix: broken document for Definition. Defined.
#30
yoshihiro503
closed
5 months ago
0
rendering breaks without `Proof` command
#29
affeldt-aist
closed
5 months ago
2
Yoshihiro503@sidebar multi namespaces
#28
yoshihiro503
closed
5 months ago
0
think of a test suite
#27
affeldt-aist
opened
6 months ago
1
Sidebar
#26
yoshihiro503
closed
6 months ago
0
fix: :bug: spurious spaces
#25
yoshihiro503
closed
7 months ago
0
feat: introduce `-title` option for the title of index.html
#24
yoshihiro503
closed
7 months ago
0
spurious spaces are added
#23
affeldt-aist
closed
7 months ago
0
fix: :bug: missing purple vernacular keywords.
#22
yoshihiro503
closed
7 months ago
0
fix: link name of notations
#21
yoshihiro503
closed
7 months ago
0
fix: :bug: coloring for all HB commands
#20
yoshihiro503
closed
7 months ago
0
feat: use `(**md` instead of `(***md` wish
#19
yoshihiro503
closed
7 months ago
0
use (**md instead of (***md
#18
affeldt-aist
closed
7 months ago
1
semantics of white spaces
#17
affeldt-aist
closed
1 month ago
3
link from comments
#16
affeldt-aist
opened
7 months ago
0
table of contents
#15
affeldt-aist
opened
7 months ago
0
`short` syntax of HB
#14
affeldt-aist
closed
7 months ago
1
coloring of HB keywords
#13
affeldt-aist
closed
7 months ago
1
links to HB
#12
affeldt-aist
opened
7 months ago
0
links to section variables
#11
affeldt-aist
closed
5 months ago
3
internal links
#10
affeldt-aist
closed
5 months ago
2
links to mathcomp
#9
affeldt-aist
closed
7 months ago
1
links to stdlib notations
#8
affeldt-aist
closed
7 months ago
0
missing purple keywords
#7
affeldt-aist
closed
7 months ago
1
HTML title
#6
affeldt-aist
closed
7 months ago
0
Mca doc
#5
affeldt-aist
closed
8 months ago
0
clickable notations
#4
yoshihiro503
closed
8 months ago
0
Clickable Notations
#3
yoshihiro503
closed
8 months ago
0
Mca doc
#2
affeldt-aist
closed
9 months ago
0
Next