Re: [Hol-info] Fixing HOL Light

[Ramana K. <ra...@me...>]

(HOL Light is free software. Feel free to fork it or to send patches.
https://code.google.com/p/hol-light/)


On Mon, Dec 31, 2012 at 12:14 PM, Phil Scott <phi...@ed...> wrote:

> When a theorem is proven and HOL Light announces "no subgoals", there is
> no jingle. or musical fanfare. Please fix.
>
> --
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>
>
>
> ------------------------------------------------------------------------------
> Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS,
> MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current
> with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft
> MVPs and experts. SALE $99.99 this month only -- learn more at:
> http://p.sf.net/sfu/learnmore_122412
> _______________________________________________
> hol-info mailing list
> hol...@li...
> https://lists.sourceforge.net/lists/listinfo/hol-info
>