| Revision 426,
412 bytes
checked in by dcarter, 4 years ago
(diff) |
|
Transition license to Eclipse
|
| Line | |
|---|
| 1 | arm4 THANKS file |
|---|
| 2 | |
|---|
| 3 | arm4 has originally been written by David Carter. |
|---|
| 4 | |
|---|
| 5 | Portions of the java implementation have been heavily influenced by both the |
|---|
| 6 | ARM4 SDK and Eclipse TPTP ARM implementations. |
|---|
| 7 | |
|---|
| 8 | Many people have further contributed to the arm4 agent by reporting problems, |
|---|
| 9 | suggesting various improvements, or submitting actual code. Here is |
|---|
| 10 | a list of these people. Help me keep it complete and exempt of errors. |
|---|
Note: See
TracBrowser
for help on using the repository browser.
