Tree: 5ae5bea3dd

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '5ae5bea3dd'

${ noResults }

Commit Graph

6 Commits (5ae5bea3dd9ecfadf9b46c04f8310116062685f0)

Author	SHA1	Message	Date
Dave Parker	8bc69f0aa7	Undoing a few revisions meant for prism-redesign. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@311 bbc10eb1-c90d-0410-af57-cb519fbb1720	19 years ago
Mark Kattenbelt	125d7b88ed	Changed installer script to use new icon. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@306 bbc10eb1-c90d-0410-af57-cb519fbb1720	19 years ago
Dave Parker	5ef3824832	Rearrangement and tidy-up of copyright/license info in file headers. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@253 bbc10eb1-c90d-0410-af57-cb519fbb1720	19 years ago
Dave Parker	a2e4f2309a	Improvements to NSIS installer. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@107 bbc10eb1-c90d-0410-af57-cb519fbb1720	19 years ago
Dave Parker	5144e75d66	Don't need non-Windows start scripts in Windows binary version. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@106 bbc10eb1-c90d-0410-af57-cb519fbb1720	19 years ago
Dave Parker	c5715cb37d	NSIS script and Makefile changes for Windows installer generation. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@105 bbc10eb1-c90d-0410-af57-cb519fbb1720	19 years ago