project1
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
| project1 [2017/01/23 15:45] – franck | project1 [2017/01/23 15:47] – franck | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| * Create the app | * Create the app | ||
| - | < | + | < |
| package lab; | package lab; | ||
| Line 12: | Line 12: | ||
| } | } | ||
| } | } | ||
| - | [/code] | + | </code> |
| * Run JPF on this app. | * Run JPF on this app. | ||
| * Run JPF on the HelloWorld class of the default package. | * Run JPF on the HelloWorld class of the default package. | ||
project1.txt · Last modified: 2017/01/30 13:52 by franck