Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)



> the last 14 years ... only once, around 2015->2017, I had to update
I meant 2005->2007 ;)






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.