Skip to content

Activity

V2.1.0 (#35)

Pull request merge
aleksnanevskipushed 1 commit to master • 8ff85ab…b6c4102 • 
on Jan 17

preparing coq-htt v2.1.0 for release

aleksnanevskipushed 1 commit to v2.1.0 • 46d2dcd…9d0ba20 • 
on Jan 17

preparing coq-htt v2.1.0 for release

aleksnanevskipushed 1 commit to v2.1.0 • 3c0f14f…46d2dcd • 
on Jan 17

Preparing coq-htt v2.1.0 for release

aleksnanevskipushed 1 commit to v2.1.0 • bcec1ae…3c0f14f • 
on Jan 17

preparing coq-htt v2.1.0 for release

aleksnanevskipushed 1 commit to v2.1.0 • c3e4a49…bcec1ae • 
on Jan 17

Preparing coq-htt v2.1.0 for release

aleksnanevskicreated v2.1.0 • c3e4a49 • 
on Jan 17

boilerplate for enabling packaging using coq_makefile (#34)

Pull request merge
aleksnanevskipushed 1 commit to master • ab2d6c5…8ff85ab • 
on Jan 17

Deleted branch

clayratdeleted fix3 • 
on Dec 19, 2024

Merge pull request #33 from imdea-software/fix3

Pull request merge
clayratpushed 2 commits to master • 10cc2d3…ab2d6c5 • 
on Dec 19, 2024

update ssr upper bounds

aleksnanevskicreated fix3 • eae4dc4 • 
on Dec 18, 2024

Deleted branch

aleksnanevskideleted fix • 
on Dec 17, 2024

added data to enable ssr 2.3

aleksnanevskicreated fix2 • 58ea030 • 
on Dec 17, 2024

updated meta.yml info to admit ssr 2.3.0

aleksnanevskipushed 1 commit to fix • 10cc2d3…eba1930 • 
on Dec 17, 2024

removing obsolete templates (#30)

aleksnanevskicreated fix • 10cc2d3 • 
on Dec 17, 2024

Deleted branch

aleksnanevskideleted v2.0 • 
on Oct 7, 2024

Deleted branch

aleksnanevskideleted v2.0.1 • 
on Oct 7, 2024

Deleted branch

aleksnanevskideleted congprog • 
on Oct 7, 2024

Deleted branch

aleksnanevskideleted coq86-ssr16 • 
on Oct 7, 2024

Deleted branch

aleksnanevskideleted ssr-1.5 • 
on Oct 7, 2024

removing obsolete templates (#30)

Pull request merge
aleksnanevskipushed 1 commit to master • 3daf5b9…10cc2d3 • 
on Oct 7, 2024

removing obsolete templates

aleksnanevskicreated v2.0.1 • 6774474 • 
on Oct 7, 2024

make coq-htt package depend on coq-htt-core (#29)

Pull request merge
aleksnanevskipushed 1 commit to master • 3789760…3daf5b9 • 
on Oct 7, 2024

trying to change organization of packages so that

aleksnanevskipushed 1 commit to v2.0 • 965f06b…b37181b • 
on Oct 7, 2024

templates

aleksnanevskipushed 1 commit to master • 1d1fefd…3789760 • 
on Sep 30, 2024

templates

aleksnanevskipushed 1 commit to v2.0 • 9068807…965f06b • 
on Sep 30, 2024

v2.0 (#27)

Pull request merge
aleksnanevskipushed 1 commit to master • 0a4c86f…1d1fefd • 
on Sep 30, 2024

changed mustache files

aleksnanevskipushed 1 commit to v2.0 • d725c09…9068807 • 
on Sep 27, 2024

blah

aleksnanevskipushed 1 commit to v2.0 • 9a80b15…d725c09 • 
on Sep 27, 2024

blah

aleksnanevskipushed 2 commits to v2.0 • e0539fe…9a80b15 • 
on Sep 27, 2024

blah

aleksnanevskipushed 1 commit to v2.0 • 48f3a50…e0539fe • 
on Sep 27, 2024