Subject: Ssreflect Users Discussion List
List archive
- From: (Emilio Jesús Gallego Arias)
- To: ssreflect mailing list <>
- Subject: [ssreflect] ssreflect and proof general
- Date: Tue, 16 Feb 2016 00:34:17 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
- Ironport-phdr: 9a23:fYFiyRBWFsz9fGy3h/H3UyQJP3N1i/DPJgcQr6AfoPdwSP/7r8bcNUDSrc9gkEXOFd2CrakU1KyK6eu5ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokbzosMSLKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WVhCV63UYX24K2h9BAgzE6h6yWpbqrmOurfFn1SeeMMbqZbUvQ3Gj6b1qQVnpjj0GPng36jeEpNZ3ifdUqRalqhN464XOYceYMuF7ZuXTZ5taaG9AWsdWHw5MGRGnJ6QGC+4MMuEQhpP8rkBP/kj2PhWlGO66kmwAvXTxx6Bvlr15SQw=
- Organization: CRI ParisTech
Hi all,
taking advantage of the recent move of PG to github, I've opened an
issue to add support for Ssreflect's indentation style:
https://github.com/ProofGeneral/PG/issues/51
Please contribute your thoughts on how you'd like PG to behave
indentation-wise there.
Thanks,
Emilio
- [ssreflect] ssreflect and proof general, Emilio Jesús Gallego Arias, 02/16/2016
Archive powered by MHonArc 2.6.18.