Re: [isabelle] isabelle2012-rc3\isabelle.exe removed by Norton when executed
On Mon, 21 May 2012, gottfried.barrow at gmx.com wrote:
Fourth, any hacking is going to be the attaching of the hacker's code to
the normal code and jumping around in the code. Launch4j is executing
other people's code, so it kind of fits that description.
Here is an interesting thread on Stackoverflow
One person actually recommends Launch4j, but he is himself working on
WinRun4j. There are some other reasons why I might try the latter for the
next release, after Isabelle2012.
This archive was generated by a fusion of
Pipermail (Mailman edition) and