Context Navigation

Timeline

22:57 Changeset [515] by raffalli@…: bug fix in the search for recursive calls
12:22 Changeset [514] by raffalli@…: work on logic/Propositions.pml
11:54 Changeset [513] by raffalli@…: add logic/html folder
11:50 Courses edited by raffalli: (diff)
11:50 Courses edited by raffalli: (diff)
11:40 Changeset [512] by raffalli@…: work on logic courses + extensionality The work on extensionality is not …

09:37 Changeset [511] by raffalli@…: More precise analysis of totality in App and Match + 1 small bug fix A …

11:36 Changeset [510] by raffalli@…: Added a library for list without repetition

15:35 Changeset [508] by raffalli@…: bug fix + dirty hack to use #end_of_file to end a file
14:56 Changeset [507] by raffalli@…: hiding lib/num_sig.pml
14:53 Changeset [506] by raffalli@…: quiet was not completely quiet
09:49 Changeset [505] by raffalli@…: a little work on the documentation

16:03 Courses edited by raffalli: (diff)
15:59 Changeset [504] by raffalli@…: added courses/algorithmics/html folder
15:53 Changeset [503] by raffalli@…: Bug fix + courses - work on Poly.pml - early beginning of an algorithmic …

14:49 Changeset [502] by raffalli@…: Work on Poly.pml
11:32 Changeset [501] by raffalli@…: Added a stricking example on the termination test Warning : compilation …
11:02 Changeset [500] by pierre.hyvernat@…: resolve conflicts in talk-wst-2010

21:23 Changeset [499] by pierre.hyvernat@…: Cleaning-up pml2html.py script and minor bug in filter-parts.py
18:27 Courses edited by raffalli: (diff)
18:14 Courses edited by raffalli: (diff)
18:14 Courses edited by raffalli: (diff)
18:12 Courses edited by raffalli: (diff)
18:11 Courses edited by raffalli: (diff)
18:04 Changeset [498] by raffalli@…: remove debugging printing in script
18:01 Courses created by raffalli
17:58 Changeset [497] by raffalli@…: Update in courses
17:47 WikiStart edited by raffalli: (diff)
17:45 WikiStart edited by raffalli: (diff)
17:44 WikiStart edited by raffalli: (diff)
17:42 WikiStart edited by raffalli: (diff)
17:26 Changeset [496] by raffalli@…: added html folder
17:00 Changeset [495] by pierre.hyvernat@…: First working version of script "pml2html" see > python pml2html.py -h for …
16:05 WikiStart edited by raffalli: (diff)
16:02 Changeset [494] by raffalli@…: added make documentation in make all
15:37 Changeset [493] by raffalli@…: Fixed a bug that could make pml loop when using extensional equality …
15:36 Changeset [492] by raffalli@…: typos in programming.t2t

17:17 Changeset [491] by raffalli@…: Work on the emacs mode - better coloring of type error - showing line and …

23:32 Changeset [490] by raffalli@…: bug fix extensionality was incomplete when f == g was true, but f and g …
17:32 Changeset [489] by raffalli@…: typo in the last patch to src/size_change_termination.ml
12:25 Changeset [488] by pierre.hyvernat@…: bug in handling of default field in records
11:26 Changeset [487] by raffalli@…: bug fixes + work on software foundation

21:59 Changeset [486] by raffalli@…: Various changes - added a command for structure and expression hide id …

22:42 Changeset [485] by raffalli@…: Work on sofware foundation course
22:12 Changeset [484] by pierre.hyvernat@…: added warnings in filter-parts.py
22:09 Changeset [482] by raffalli@…: Set up to compile both ejc.pdf and ejc-full.pdf the later with appendix
15:45 Changeset [483] by pierre.hyvernat@…: minor bug in filter-parts.py
11:58 Changeset [481] by raffalli@…: Removed the temporary fix to accomodate a dypgen bug PML now requires …
00:06 Changeset [480] by raffalli@…: Work on sofware foundation

16:14 Ticket #25 (Port of Benjamin Pierce's et al. software foundation course) created by raffalli: This course can be found here: http://www.cis.upenn.edu/~bcpierce/sf/ …
16:10 Ticket #24 (Produce some information at compile time about identifier and other thing ...) created by raffalli: There are a lot of information available at compile time that could be …
16:05 Ticket #23 (Write a script transforming a PML file into a HTML one) created by raffalli: This will be very usefull to visualize on the web the port of the software …
15:59 Ticket #21 (Specification should be compared after the disambiguation ...) closed by raffalli: fixed: Proof are now all checked after typing ... and therefore desambiguation of …
15:54 Ticket #9 (printing in open goal) closed by raffalli: wontfix
15:52 Ticket #13 (Stabilize the temination checker to something usable.) closed by raffalli: fixed
15:49 Ticket #3 (Problem with "input_value code mismatch") closed by raffalli: fixed
15:07 Changeset [479] by pierre.hyvernat@…: small improvment in answer generating scripts

16:22 Changeset [478] by raffalli@…: various small fixes - use and by can now be followed by multiple …

00:17 Changeset [477] by raffalli@…: minor change about sofware foundation courses and strip-answers script

23:36 Changeset [476] by raffalli@…: change to produce courses from the courses with answers
17:44 Changeset [475] by pierre.hyvernat@…: script to strip out answers from pml "exam" files (* begin answer *) …
16:07 Changeset [474] by raffalli@…: few bug fixes + work on Pierce's programming course

Note: See TracTimeline for information about the timeline view.