~lthms

Paris · France

https://lthms.xyz

Formal methods researcher, and FP enthusiast.

Trackers

~lthms/ogmios

Last active a month ago

#6 [celtchar] Choose a language a month ago

~lthms assigned ~lthms to #6 on ~lthms/ogmios

#6 [celtchar] Choose a language a month ago

Comment by ~lthms on ~lthms/ogmios

See ad4f316b577593cecedeb76e381d1165b5fc9a62.

#6 [celtchar] Choose a language a month ago

on ~lthms/ogmios

REPORTED RESOLVED IMPLEMENTED

#12 [celtchar] Zip the _build directory a month ago

on ~lthms/ogmios

REPORTED RESOLVED IMPLEMENTED

#12 [celtchar] Zip the _build directory 2 months ago

Comment by ~lthms on ~lthms/ogmios

Partially implemented in 4a512ae35ce03d98c08fdf3f1531a438f99fb086.

#12 [celtchar] Zip the _build directory 2 months ago

~lthms assigned ~lthms to #12 on ~lthms/ogmios

#13 [celtchar] Support the description field 2 months ago

feature added by ~lthms on ~lthms/ogmios

#13 [celtchar] Support the description field 2 months ago

Ticket created by ~lthms on ~lthms/ogmios

#11 [celtchar] Add a cover 2 months ago

Comment by ~lthms on ~lthms/ogmios

Partially fixed in 22c4e3081. We now want to generate a xhtml file so that the first “page” of the ebook is actually the cover.

#11 [celtchar] Add a cover 2 months ago

~lthms assigned ~lthms to #11 on ~lthms/ogmios