2 results (0.24 seconds) 

Did you mean: "David Aspinall"

    Google
     Custom Search
  1. EmacsWiki: David Aspinall
    Sep 5, 2008 ... Developer of Proof General (see http://proofgeneral.inf.ed.ac.uk), a generic
    Emacs interface for proof assistants. Main lesson learned: ...

    www.emacswiki.org/emacs/DavidAspinall
  2. EmacsWiki: Category Homepage
    Jan 13, 2015 ... ... DavidAspinall, DavidBakhash, DavidBoon, DavidBrady, DavidCobb (
    SuperBiskit), DavideAngelocola, DavidEddyshaw, DavidEdmondson, ...

    www.emacswiki.org/emacs/CategoryHomepage

Did you mean to search for: "David Aspinall"



 

Search Tips


©2013 Google