2
edits
Tamarin:WeeklyUpdates: Difference between revisions
Jump to navigation
Jump to search
m
→Status Updates: Typo fixes
No edit summary |
m (→Status Updates: Typo fixes) |
||
| Line 37: | Line 37: | ||
* Finishing up refactoring verifier in Tamarin | * Finishing up refactoring verifier in Tamarin | ||
* Blocking item is getting a 64 bit development environment. | * Blocking item is getting a 64 bit development environment. | ||
* | * Suggestion to use the command line builds on the Mac with Leopard | ||
Lars | Lars | ||
| Line 50: | Line 50: | ||
Trevor | Trevor | ||
* Tamarin blog created on Mozilla | * Tamarin blog created on Mozilla | ||
** If people are | ** If people are interested in posting on Tamarin blog, let Trevor know and he will point you to the bug to get yourself added as an author | ||
** Blog linked off of MDC | ** Blog linked off of MDC | ||
** Once there is some content a note will be sent to Tamarin Devel | ** Once there is some content a note will be sent to Tamarin Devel | ||