6 Commits

Author	SHA1	Message	Date
Benjamin Jorge	37f202ed9a	Use interfaces in cursor_examples.mlw	2023-05-23 13:27:45 +02:00
Jean-Christophe Filliatre	5004a13af9	examples: document cursor_examples	2020-03-04 16:57:26 +01:00
Andrei Paskevich	eae547d95f	stdlib, examples: remove redundant "import"	2018-06-15 16:45:58 +02:00
Andrei Paskevich	7b0929a761	WhyML: "use/clone T" imports by default (in absence of "as") ... For the previous behaviour (no import), write "use/clone T as T". This shortens the most used "use/clone import" to simply "use/clone".	2018-06-15 16:45:58 +02:00
Mário Pereira	87c1382630	Cursor examples: removed outdated comment	2017-07-19 17:08:18 +02:00
Mário Pereira	f82c19b38a	cursor_examples.mlw moved to the gallery	2017-07-19 16:55:38 +02:00