[isabelle] git integration



Hi,

the bundled cygwin-terminal on Windows does not have git. Would it be possible to include that in the distribution?

Of course if there's a demand for it. Does anyone support this request?

- Gergely



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