Changeset 18059 in project


Ignore:
Timestamp:
05/12/10 09:34:48 (9 years ago)
Author:
iraikov
Message:

added copyright notices in miniML files

Location:
release/4/miniML/trunk
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • release/4/miniML/trunk/miniML.grm

    r18058 r18059  
    1 ; -*- Hen -*-
     1;; -*- Hen -*-
     2;;
     3;;  A grammar for a simple ML-like language.
     4;;
     5;;  Based on the code and paper by Xavier Leroy (2000): A modular
     6;;  module system. Journal of Functional Programming, 10, pp 269-303
     7;;  doi:10.1017/S0956796800003683
     8;;
     9;;
     10;; Copyright 2010 Ivan Raikov and the Okinawa Institute of
     11;; Science and Technology.
     12;;
     13;; This program is free software: you can redistribute it and/or
     14;; modify it under the terms of the GNU General Public License as
     15;; published by the Free Software Foundation, either version 3 of the
     16;; License, or (at your option) any later version.
     17;;
     18;; This program is distributed in the hope that it will be useful, but
     19;; WITHOUT ANY WARRANTY; without even the implied warranty of
     20;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
     21;; General Public License for more details.
     22;;
     23;; A full copy of the GPL license can be found at
     24;; <http://www.gnu.org/licenses/>.
     25;;
    226
    327(require-extension lalr static-modules miniML)
  • release/4/miniML/trunk/miniML.l

    r18058 r18059  
     1;; -*- Hen -*-
     2;;
    13;;  The lexical analyzer for mini-ML.
     4;;
     5;;  Based on the code and paper by Xavier Leroy (2000): A modular
     6;;  module system. Journal of Functional Programming, 10, pp 269-303
     7;;  doi:10.1017/S0956796800003683
     8;;
     9;;
     10;; Copyright 2010 Ivan Raikov and the Okinawa Institute of
     11;; Science and Technology.
     12;;
     13;; This program is free software: you can redistribute it and/or
     14;; modify it under the terms of the GNU General Public License as
     15;; published by the Free Software Foundation, either version 3 of the
     16;; License, or (at your option) any later version.
     17;;
     18;; This program is distributed in the hope that it will be useful, but
     19;; WITHOUT ANY WARRANTY; without even the implied warranty of
     20;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
     21;; General Public License for more details.
     22;;
     23;; A full copy of the GPL license can be found at
     24;; <http://www.gnu.org/licenses/>.
     25;;
    226
    327upper    [A-Z]
  • release/4/miniML/trunk/miniMLeval.scm

    r18058 r18059  
     1;;
     2;;  A type checker and interpreter for a simple ML-like language.
     3;;
     4;;  Based on the code and paper by Xavier Leroy (2000): A modular
     5;;  module system. Journal of Functional Programming, 10, pp 269-303
     6;;  doi:10.1017/S0956796800003683
     7;;
     8;;
     9;; Copyright 2010 Ivan Raikov and the Okinawa Institute of
     10;; Science and Technology.
     11;;
     12;; This program is free software: you can redistribute it and/or
     13;; modify it under the terms of the GNU General Public License as
     14;; published by the Free Software Foundation, either version 3 of the
     15;; License, or (at your option) any later version.
     16;;
     17;; This program is distributed in the hope that it will be useful, but
     18;; WITHOUT ANY WARRANTY; without even the implied warranty of
     19;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
     20;; General Public License for more details.
     21;;
     22;; A full copy of the GPL license can be found at
     23;; <http://www.gnu.org/licenses/>.
     24;;
    125
    226(module miniMLeval
  • release/4/miniML/trunk/miniMLmain.scm

    r18058 r18059  
     1;;
     2;;  A type checker and interpreter for a simple ML-like language.
     3;;
     4;;  Based on the code and paper by Xavier Leroy (2000): A modular
     5;;  module system. Journal of Functional Programming, 10, pp 269-303
     6;;  doi:10.1017/S0956796800003683
     7;;
     8;;
     9;; Copyright 2010 Ivan Raikov and the Okinawa Institute of
     10;; Science and Technology.
     11;;
     12;; This program is free software: you can redistribute it and/or
     13;; modify it under the terms of the GNU General Public License as
     14;; published by the Free Software Foundation, either version 3 of the
     15;; License, or (at your option) any later version.
     16;;
     17;; This program is distributed in the hope that it will be useful, but
     18;; WITHOUT ANY WARRANTY; without even the implied warranty of
     19;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
     20;; General Public License for more details.
     21;;
     22;; A full copy of the GPL license can be found at
     23;; <http://www.gnu.org/licenses/>.
     24;;
    125(use static-modules miniML miniMLeval miniMLparse)
    226
  • release/4/miniML/trunk/miniMLparse.scm

    r18058 r18059  
     1;;
     2;;  A parser for a simple ML-like language.
     3;;
     4;;  Based on the code and paper by Xavier Leroy (2000): A modular
     5;;  module system. Journal of Functional Programming, 10, pp 269-303
     6;;  doi:10.1017/S0956796800003683
     7;;
     8;;
     9;; Copyright 2010 Ivan Raikov and the Okinawa Institute of
     10;; Science and Technology.
     11;;
     12;; This program is free software: you can redistribute it and/or
     13;; modify it under the terms of the GNU General Public License as
     14;; published by the Free Software Foundation, either version 3 of the
     15;; License, or (at your option) any later version.
     16;;
     17;; This program is distributed in the hope that it will be useful, but
     18;; WITHOUT ANY WARRANTY; without even the implied warranty of
     19;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
     20;; General Public License for more details.
     21;;
     22;; A full copy of the GPL license can be found at
     23;; <http://www.gnu.org/licenses/>.
     24;;
    125
    226
Note: See TracChangeset for help on using the changeset viewer.