Updating the available pre-release version of ProofBuddy was on my to do list last weekend. A few months ago I wrote a script that pulls…
Updating the available pre-release version of ProofBuddy was on my to do list last weekend. A few months ago I wrote a script that pulls…
Spent the better part of today fighting to get trac installed on my server so I can keep track of development tasks. Finally gave up…