User Activity
-
Created
ticket #1278
on
Skim
Release Notes Unreadable in Mojave Dark Mode
-
Committed
[r9081]
Updated the sections on quantifiers and set comprehensions to better describe
-
Modified
ticket #58
on
Java Modeling Language (JML)
Problem with "Major, minor version"
-
Posted
a comment
on
ticket #58
on
Java Modeling Language (JML)
OpenJML does not currently work with Java 8; you will need to install a Java 7 virtual...
-
Modified
a comment
on
ticket #400
on
Java Modeling Language (JML)
Closing because this worked for me 8 months ago, and it still does.
-
Modified
a comment
on
ticket #401
on
Java Modeling Language (JML)
Closing because this example worked for me 8 months ago, and still does.
-
Modified
ticket #400
on
Java Modeling Language (JML)
Cannot Use Equals in Specs
-
Posted
a comment
on
ticket #400
on
Java Modeling Language (JML)
Closing for inactivity.
Personal Data
- Username:
- dmzimmerman
- Joined:
- 2000-09-01 10:40:47
- Location:
- United States
- Gender:
- Male
Projects
This is a list of open source software projects that Daniel M. Zimmerman is associated with:
- Freemail Last Updated:
- JEmpeg Last Updated:
-
Java Modeling Language (JML) Last Updated:
- MultiJava Last Updated:
- SSHKeychain Last Updated:
- The Extended BON Toolsuite Last Updated: