Re: [isabelle] isabelle2012-rc3\isabelle.exe removed by Norton when executed

On Mon, 21 May 2012, gottfried.barrow at 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 MHonArc.