No edit summary |
|||
| Line 13: | Line 13: | ||
*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]] | *[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]] | ||
== Git Migration == | |||
*[[ProB Prolog Git Migration Targets / Status]] | |||
*[[User Name Mappings]] | |||