Hi Konrad,
On 30/01/14 16:48, Konrad Slind wrote:
There is already some material of this sort. See
http://hol.sourceforge.net/documentation.html
indeed I am studying Hol on those documents.
I would like to propose something, let us say... more colloquial (not
less precise however).
The idea is to help discovering this tool in a friendly way from a
beginner's point of view.
It is still a vague objective, but I think something useful could come
out of it.
If you write more such introductory material, please let
us know.
Of course.
Thanks,
Andrea
Thanks,
Konrad.
On Wed, Jan 29, 2014 at 7:20 AM, Andrea <[email protected]
<mailto:[email protected]>> wrote:
Dear all,
I am planning to write and publish a brief Hol4 tutorial for those (as
me a couple of months ago) who
are completely ignorant about this genre of tools.
The aim is to make this technology more accessible to newcomers.
Do you know if there exist already resources of this genres?
Could you propose me valid references on which I can rely on?
Thanks a lot,
Andrea Giugliano
------------------------------------------------------------------------------
WatchGuard Dimension instantly turns raw network data into actionable
security intelligence. It gives you real-time visual feedback on key
security issues and trends. Skip the complicated setup - simply
import
a virtual appliance and go from zero to informed in seconds.
http://pubads.g.doubleclick.net/gampad/clk?id=123612991&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected] <mailto:[email protected]>
https://lists.sourceforge.net/lists/listinfo/hol-info
------------------------------------------------------------------------------
Managing the Performance of Cloud-Based Applications
Take advantage of what the Cloud has to offer - Avoid Common Pitfalls.
Read the Whitepaper.
http://pubads.g.doubleclick.net/gampad/clk?id=121051231&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info