tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Commit graph

  • 9903510037 A few improvements in last week's slides. François Pottier 2017-09-26 11:42:59 +0200
  • f31a263ff7 Updated slides, Coq demo, and OCaml exercise. François Pottier 2017-09-22 11:32:50 +0200
  • cb1a56bbda Indicate how to load ProofGeneral in .emacs. François Pottier 2017-09-21 22:09:04 +0200
  • 09761828fc Clarified installation instructions. Added instructions for ProofGeneral. François Pottier 2017-09-21 22:04:18 +0200
  • 03e6914d0f The Coq demo does not need MyTactics. François Pottier 2017-09-21 21:42:18 +0200
  • 86c981fb99 Publish slides 01a and 01b. Links from README. François Pottier 2017-09-21 21:29:24 +0200
  • 845312be45 Coq demo. François Pottier 2017-09-21 15:40:42 +0200
  • 906c153fb9 Link to my introductory slides. François Pottier 2017-09-21 11:06:57 +0200
  • 7b95f194ea Introductory slides. François Pottier 2017-09-21 11:05:14 +0200
  • 165e637bc5 Instructions for installing AutoSubst. François Pottier 2017-09-20 15:51:16 +0200
  • ace98b8d7a English. (Plus spurious whitespace.) François Pottier 2017-09-20 15:48:34 +0200
  • 20967ac671 ./2016/ -> ./ REMY Didier 2017-09-20 13:50:54 +0200
  • 672cfcd07d slides and notes REMY Didier 2017-09-15 08:55:27 +0200
  • 997801873b slides and notes REMY Didier 2017-09-15 08:52:43 +0200
  • 1bd9634a2a slides and notes REMY Didier 2017-09-15 08:49:14 +0200
  • d235435edb duration REMY Didier 2017-09-14 18:11:11 +0200
  • 873f1cfde1 backpointer REMY Didier 2017-09-14 16:35:49 +0200
  • 98cf311208 urls REMY Didier 2017-09-14 15:22:47 +0200
  • 88a9804cab urls REMY Didier 2017-09-14 15:20:36 +0200
  • 85ceb49c7d url REMY Didier 2017-09-14 15:18:16 +0200
  • 6e18628cae Previous Exams REMY Didier 2017-09-14 15:12:03 +0200
  • 599d85f58d +biblio, course content REMY Didier 2017-09-14 11:22:15 +0200
  • 4cceeb632a Correction de dates REMY Didier 2017-09-11 11:55:20 +0200
  • 1a926bb89d Typo. François Pottier 2017-09-11 11:07:05 +0200
  • 1df18e3832 .gitignore. François Pottier 2017-09-11 10:50:45 +0200
  • 51b07afefc Bibliography. François Pottier 2017-09-11 10:50:20 +0200
  • f00f5b1b74 Added recommended software. François Pottier 2017-09-11 10:47:09 +0200
  • e1de1928c5 Fixed dates. François Pottier 2017-09-11 10:43:57 +0200
  • 7747bcfe3b Fix lists. François Pottier 2017-09-11 10:41:47 +0200
  • 0b50ea13f2 Added aims and syllabus. François Pottier 2017-09-11 10:40:02 +0200
  • d6f91d2412 Closing parens. François Pottier 2017-09-11 10:32:58 +0200
  • aecd44d1a1 Fixed links. François Pottier 2017-09-11 10:32:16 +0200
  • 260bde1239 Add README.md. François Pottier 2017-09-11 10:29:22 +0200