summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
mainLet’s have a monthly retrospective for onceThomas Letan7 weeks
 
 
AgeCommit messageAuthor
2022-08-15Let’s have a monthly retrospective for onceHEADmainThomas Letan
2022-08-14Fix the layout of the project with the new generation setupThomas Letan
2022-08-13Fix two types reported by Wojciech KarpielThomas Letan
2022-08-13Hide cleapatra series for nowThomas Letan
2022-08-13Fix the link in the coqffi tutorial by adding a new class of urlThomas Letan
2022-08-13Further tweaks in the toolchainThomas Letan
2022-08-13Some tweaks to the toolchainThomas Letan
2022-08-13Provide a script to capture output of commands into files in 'logs/'Thomas Letan
2022-08-13Use emacs --daemon to speed things upThomas Letan
2022-08-13Typo ):Thomas Letan
[...]
 
Clone
https://src.soap.coffee/soap.coffee/lthms.git
gitolite@src.soap.coffee:soap.coffee/lthms.git