Tree: 125d7b88ed

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '125d7b88ed'

${ noResults }

Commit Graph

5 Commits (125d7b88ed6130da7938bffbc3f8b9a484e30e4d)

Author	SHA1	Message	Date
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