Developer Manual: Difference between revisions

No edit summary
Line 8: Line 8:
*[[ProB 2.0 Development]]
*[[ProB 2.0 Development]]
*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]
*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]
*[http://nightly.cobra.cs.uni-duesseldorf.de/prob2/javadoc/ ProB 2.0 Core Javadoc]
*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh)
*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh)
*[[ProB 2.0 Tutorial]]
*[[ProB 2.0 Tutorial]]


*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]]
*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]]

Revision as of 14:30, 1 February 2013