Skip to content

Releases: opencompl/paper-template

Release 385

30 Dec 15:37
Compare
Choose a tag to compare
Revert "add first draft"

This reverts commit 5ede9932133725849537421fdf43fee762d3a759.

Release 384

30 Dec 15:10
Compare
Choose a tag to compare
release-384

add first draft

Release 383

13 Nov 05:55
Compare
Choose a tag to compare
release-383

feat: add Lean4 syntax highlighting support to template

Release 382

13 Nov 05:54
Compare
Choose a tag to compare
release-382

feat: add Lean4 syntax highlighting support to template

Release 381

13 Nov 05:51
Compare
Choose a tag to compare
release-381

update to the lastest acm template

Release 375

06 Aug 16:14
Compare
Choose a tag to compare
release-375

punctuation

Release 374

06 Aug 16:13
Compare
Choose a tag to compare
release-374

punctuation

Release 373

06 Aug 16:12
Compare
Choose a tag to compare
release-373

punctuation

Release 372

06 Aug 14:32
Compare
Choose a tag to compare
release-372

Appendix

Release 371

06 Aug 14:29
Compare
Choose a tag to compare
release-371

Information about figure captions