Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-08 10:12:51 -0700 (Sun, 08 Apr 2007)
Revision: 10376
Log message:
Minor update to catch up with recent changes in OMake and LibMojave.
| Changes | Path |
| +2 -1 | metaprl/OMakefile |
| +4 -3 | metaprl/filter/base/filter_magic.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-10 16:30:38 -0700 (Tue, 10 Apr 2007)
Revision: 10393
Log message:
Use a foreach instead of the 3-place rule in order to avoid issues with
upcoming OMake 0.9.8.2, which will change the semantics of the 3-place rules.
| Changes | Path |
| +3 -2 | metaprl/editor/ml/OMakefile |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-13 12:39:09 -0700 (Fri, 13 Apr 2007)
Revision: 10423
Log message:
Use ConfMsgError, where appropriate.
Changes by: Yegor N. Bryukhov (ybryukhov at gmail.com)
Date: 2007-04-15 08:37:03 -0700 (Sun, 15 Apr 2007)
Revision: 10431
Log message:
bringing CIC up to speed with the rest of MetaPRL
1.it seems that 'const' became a reserved word though the error message is _very_ cryptic
2.also, reduce resource improvements should wrap rewrites with wrap_reduce
| Changes | Path |
| +4 -4 | metaprl/theories/cic/cic_ind_elim_dep.ml |
| +3 -3 | metaprl/theories/cic/cic_ind_elim_dep.mli |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 09:15:15 -0700 (Mon, 16 Apr 2007)
Revision: 10432
Log message:
Minor no-op reorg of the code.
| Changes | Path |
| +14 -16 | metaprl/filter/base/filter_spell.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 09:46:28 -0700 (Mon, 16 Apr 2007)
Revision: 10433
Log message:
Use the "const" shape modifier as LINDENT, without making it a keyword.
| Changes | Path |
| +2 -3 | metaprl/filter/filter/filter_parse.ml |
| +4 -4 | metaprl/theories/cic/cic_ind_elim_dep.ml |
| +3 -3 | metaprl/theories/cic/cic_ind_elim_dep.mli |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 10:01:02 -0700 (Mon, 16 Apr 2007)
Revision: 10434
Log message:
The CIC theory now compiles and initializes fine, adding it to THEORIES_ALL.
| Changes | Path |
| +1 -1 | metaprl/mk/defaults |
| +6 -6 | metaprl/theories/cic/cic_ind_type.ml |
| +1 -1 | metaprl/theories/cic/cic_lambda.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 11:50:54 -0700 (Mon, 16 Apr 2007)
Revision: 10437
Log message:
Bringing pa_macro closer to the default 3.09.3 version (in order to make life
easier for massive 3.10 Camlp4 changes):
- Allow using "END" in place of "ENDIF"
- Minor cosmetic changes (comments, formatting, etc).
| Changes | Path |
| +33 -29 | metaprl/util/pa_macro.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 11:56:43 -0700 (Mon, 16 Apr 2007)
Revision: 10438
Log message:
More cosmetic changes.
| Changes | Path |
| +6 -5 | metaprl/util/pa_macro.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 18:06:33 -0700 (Mon, 16 Apr 2007)
Revision: 10444
Log message:
Fixing a warning.
| Changes | Path |
| +5 -7 | metaprl/library/db.ml |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 10:38:18 -0700 (Tue, 17 Apr 2007)
Revision: 10449
Log message:
Branching for the upcoming OCaml 3.10
| Changes | Path |
| Copied | metaprl-branches/ocaml-3.10/ (from rev 10448, ) |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 10:40:06 -0700 (Tue, 17 Apr 2007)
Revision: 10450
Log message:
Oops, previous commit was wrong (I did a branch off the top level of the
repository, instead of off the MetaPRL trunk).
| Changes | Path |
| Deleted | metaprl-branches/ocaml-3.10/ |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 10:40:45 -0700 (Tue, 17 Apr 2007)
Revision: 10451
Log message:
Branching to work on preparing for the upcoming OCaml 3.10 (which has
significant camlp4 changes).
| Changes | Path |
| Copied | metaprl-branches/ocaml-3.10/ (from rev 10450, metaprl) |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 12:20:20 -0700 (Tue, 17 Apr 2007)
Revision: 10453
Log message:
Made some progress towards compiling MetaPRL with OCaml 3.10+beta:
- Made a number of updates in OMakefiles for the new camlp4 stuff.
- Switched from pa_macro.ml to a fixed and improved version of the new Camlp4MacroParser.ml
- Many other fixes.
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 16:52:40 -0700 (Tue, 17 Apr 2007)
Revision: 10454
Log message:
More 3.10+beta changes.
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-18 10:25:38 -0700 (Wed, 18 Apr 2007)
Revision: 10455
Log message:
Now trying to use the latest OCaml CVS from the "release310" branch. There the
Camlp4MacroParser module does everything we need, so there is no need to have
our own.
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-18 15:00:03 -0700 (Wed, 18 Apr 2007)
Revision: 10458
Log message:
More 3.10 work.
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-19 09:30:13 -0700 (Thu, 19 Apr 2007)
Revision: 10463
Log message:
Backporting some rev. 10455 changes from the ocaml-3.10 branch.
| Changes | Path |
| +2 -27 | metaprl/OMakefile_common |
| +13 -2 | metaprl/mk/defaults |
| +9 -0 | metaprl/mk/load_config |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-19 10:36:52 -0700 (Thu, 19 Apr 2007)
Revision: 10464
Log message:
- A few fixes for Windows.
- Set svn:eol-style on a few files.
| Changes | Path |
| Properties | metaprl/OMakefile_common |
| Properties | metaprl/OMakefile_theories |
| Properties | metaprl/mk/gen_omakeroot |
| Properties | metaprl/mk/load_config |
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-24 12:50:07 -0700 (Tue, 24 Apr 2007)
Revision: 10492
Log message:
Made some incremental progress towards 3.10 compatibility.
Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-30 17:30:47 -0700 (Mon, 30 Apr 2007)
Revision: 10572
Log message:
More 3.10 work.