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

Reply via email to